Parameters
Testing
show all raw proofs (raw)
Show Parameters
Show Help
Axioms
Every man is a human. Every woman is a human. Mary is a woman. John is a man.
Lexicon
Reload the lexicon from URL
Check Consistency
Prove
Answer Query
Check Consistency
Theorems
There is a human.
Prove
Query
Who is a man and is a human?
Answer Query