Task: Fact Verification
Input (English): Paragraph: If something is not round then it is nice. The dog is young. If something is round and not young then it is not rough. If something is rough and not young then it is red. If something is rough and nice then it is not round. The dog is not nice. All round things are rough. The dog is rough. The dog is red. The dog is round. If something is young and not rough then it is red.     Question: The dog is rough.
Output (English): True