VANESSA: Neuro-Symbolic Logical Reasoning
Premises
If someone likes bread, then she likes chocolate or cheese. Anyone who likes eating tomatoes does not like cheese. Lisa is a person who likes eating tomatoes, and she likes bread.
Conclusion
Lisa likes chocolate.
Presets
Example 1
Example 1 - variation
Example 2
Example 3
NLI Model
Symbolic
LLaMa3
Submit
Processing... This can take a few minutes.