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: The dog visits the squirrel. The squirrel chases the dog. If something is young then it chases the squirrel. The dog is round. The dog is green. If the dog is round and the dog likes the squirrel then the squirrel likes the dog. The squirrel is green. The dog likes the squirrel. The squirrel likes the dog.     Question: The squirrel is not green.

SOLUTION: False

PROBLEM: Paragraph: Fiona is furry. Fiona is cold. All blue things are cold. Harry is cold. Fiona is not kind. Furry, cold things are not kind. Rough things are big. Harry is not furry. All smart things are cold. Fiona is rough. Harry is big. If Fiona is cold then Fiona is smart. Fiona is smart. Harry is kind. If something is not rough then it is kind. Harry is rough. Harry is smart. Harry is not blue. Charlie is blue. If something is not kind then it is furry. All blue things are smart. Fiona is big. Fiona is blue.     Question: Harry is cold.

SOLUTION: True

PROBLEM: 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.

SOLUTION:
True