I'm looking to prove the following:
1. (:Mythical(c) -> Mammal(c)) ^ (Mythical(c) -> :Mortal(c))
(:Mortal(c) v Mammal(c)) -> Horned(c)
Horned(c) -> Magical(c)
Content will be erased after question is completed.
Enter the email address associated with your account, and we will email you a link to reset your password.
Forgot your password?