Task: Wrong Candidate Generation
Input (English): If something is smart then it is rough. Bob is big. If Dave is blue then Dave is cold. Dave is cold. Erin is big. All big, smart things are cold. If Erin is big then Erin is smart. All young things are big. All cold, smart things are rough.
Output (English): Dave is not cold.