Task: Fact Verification
Input (English): Paragraph: If something is rough then it is big. Gary is kind. Erin is rough. Erin is red. Gary is green. Gary is blue. Erin is blue. If Gary is rough then Gary is green. All kind things are blue. All quiet things are big. Bob is blue. Bob is rough. If something is green and blue then it is quiet. Bob is green. Red, quiet things are blue. Bob is big.     Question: Gary is blue.
Output (English): True