Lewis Carroll's puzzle in terms of axioms.Lewis Carroll Axiom 1. If a kitten loves fish, then it is teachableLewis Carroll Axiom 2. Every kitten without a tail will play with a gorillaLewis Carroll Axiom 3. All kittens with whiskers love fishLewis Carroll Axiom 4. If a kitten has green eyes, then it is not teachableLewis Carroll Axiom 5. All kittens have whiskers or do not have tails.Now, prove the following statements using only the axioms given above.Statement 7.11 If a kitten has a tail, then it does not have green eyes.Statement 7.10 If a kitten has green eyes, then it does not love fish.Please write the proof to justify the statement.

Step-by-step explanation:Consider the provided information.Lewis Carroll Axiom 1. If a kitten loves fish, then it is teachable Lewis Carroll Axiom 2. Every kitten without a tail will play with a gorilla Lewis Carroll Axiom 3. All kittens with whiskers love fish Lewis Carroll Axiom 4. If a kitten has green eyes, then it is not teachable Lewis Carroll Axiom 5. All kittens have whiskers or do not have tails.Statement 7.11 If a kitten has a tail, then it does not have green eyes. From Axiom 5 All kittens have whiskers or do not have tails.It is given that kitten has tail so it must whiskers.From Axiom 3 All kittens with whiskers love fish .That means If a kitten has a tail it will whiskers and love fish.From Axioms 1 If a kitten loves fish, then it is teachable .That means kitten with tail are teachable.     (1)From Axioms 4 If a kitten has green eyes, then it is not teachable .It means if kitten is teachable then it does not have green eyes.  (2)Thus from 1 and 2 we can say that: If a kitten has a tail, then it does not have green eyes.Statement 7.10 If a kitten has green eyes, then it does not love fish.From Axioms 4 If a kitten has green eyes, then it is not teachable .From Axiom 1 If a kitten loves fish, then it is teachableFrom Axioms 1 and 4 If a kitten has green eyes, then it does not love fish.