Task: Fact Verification
Input (English): Paragraph: Gary is white. If something is big and not cold then it is not quiet. If Gary is not cold and Gary is not quiet then Gary is not big. Dave is young. If something is rough and young then it is big. If something is big and quiet then it is red. If something is red then it is not cold. All cold things are rough. Dave is rough. Harry is big. Gary is rough. Harry is rough. Dave is red.     Question: Gary is rough.
Output (English): True