Task: Fact Verification
Input (English): Paragraph: The tiger likes the cat. The dog likes the tiger. If something is round and rough then it is not red. If the dog likes the cat and the cat likes the dog then the dog is green. The cat visits the dog. If the dog is not green then the dog visits the cat.     Question: The cat visits the dog.
Output (English): True