TASK DEFINITION: Given a text paragraph and a fact, generate 'True' if the fact can be inferred/concluded from the paragraph, otherwise generate 'False'. The input passage contains as set of logical statements so the fact can be marked either 'True' or 'False' if the relavant info regarding the fact is present in the given passage. If the Fact can't be marked True or False from the given paragraph, mark it as False. Don't use knowledge outside the given paragraph to check the fact.
PROBLEM: 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.

SOLUTION: True

PROBLEM: Paragraph: If something visits the cat and it is rough then it chases the cat. The cat is cold. The dog needs the cat. The cat visits the dog. The dog is cold. The cat is green. The cat chases the dog. The cat is rough. If the dog visits the cat and the cat is green then the cat visits the dog. The cat is red. The cat is kind. The dog is green. The dog visits the cat. The dog is red. The dog is kind. The dog chases the cat. The dog is rough. The cat needs the dog.     Question: The dog is red.

SOLUTION: True

PROBLEM: Paragraph: The mouse is cold. The mouse is big. If someone is big then they are kind. Green people are cold. If someone is green and red then they are big. If the mouse is green then the mouse is red. The mouse is green. All cold, kind people are red. The mouse is red. The mouse is kind. If someone is big then they are kind. If someone is green then they are cold. If someone is big and green then they are kind.     Question: The mouse is not red.

SOLUTION:
False