Input: rats live on the trees
(A) rats like dark and damp
(B)rats are yellow-bellied
(C)no rat lives on the trees
Output: C