Input: The dog flew over the car
(A) Dogs are furry while cars are smooth
(B)A dog cannot lift a car
(C)A dog cannot fly
Output: C