Input: The cat ate a horse
(A) There are black cats and horses
(B)Horses can eat more than cats
(C)A cat could not eat a horse because a horse is too big
Output: C