Task: Fact Verification
Input (English): Paragraph: Dave is rough. Anne is quiet. Anne is cold. Dave is blue. Bob is cold. Smart things are cold. Bob is kind. All cold, white things are rough. Dave is white. If something is kind and rough then it is smart. Anne is rough. Dave is smart. Dave is cold.     Question: Dave is smart.
Output (English): True