Input: The cat is a table
(A) Tables are too big
(B)A cat can't be a table because it's an animal
(C)Cats have a tail while tables don't
Output: B