Input: a pie can force a nail into a board
(A) the pie may be lemon flavored while the nail is hard
(B)a nail cannot eat a pie
(C)a pie is not solid and hard enough to force a nail into a board
Output: C