Input: All men bite dogs
(A) All dogs have tails
(B)men doesn't bite animals
(C)Dogs have more teeth than men
Output: B