Task: Fact Verification
Input (English): Paragraph: The cat is nice. If something is cold and round then it is nice. Cold things are round. If something is round and rough then it is big. All cold things are big. If something is rough then it is round. The cat is rough. The cat is big. All cold things are nice. The cat is round. Big things are rough. If the cat is rough and the cat is cold then the cat is round. The cat is cold.     Question: The cat is nice.
Output (English): True