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 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: Fiona is cold. If someone is nice then they are cold. All smart, quiet people are round. If someone is round then they are cold. Harry is nice. Erin is cold. Harry is quiet. All round, big people are cold. Harry is green. Erin is smart. Dave is green. Green people are quiet. Harry is round. Nice, green people are quiet. Fiona is nice. If someone is round then they are cold. Erin is big. If Harry is quiet and Harry is nice then Harry is green. Dave is nice. Erin is green.     Question: Dave is green.

SOLUTION: True

PROBLEM: Paragraph: Anne is nice. If something is not round then it is nice. Anne is round. All nice, quiet things are blue. Anne is quiet. Erin is not smart. Erin is round. Anne is not smart. Anne is big. Erin is not quiet. Anne is blue. Anne is green. If something is round and not blue then it is not green.     Question: Erin is not quiet.

SOLUTION:
True