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 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

PROBLEM: Paragraph: If something is kind and round then it is cold. Dave is kind. Dave is young. If something is white and kind then it is rough. Dave is cold. Dave is rough. Harry is cold. Erin is cold. Erin is young. Erin is rough. Harry is blue. Erin is blue. Erin is kind. Harry is round. Harry is young. Erin is white. Erin is round. Harry is kind.     Question: Erin is not kind.

SOLUTION: False

PROBLEM: Paragraph: The bald eagle is kind. The bald eagle chases the squirrel. The squirrel is rough. If something chases the squirrel then the squirrel is kind. The bald eagle needs the squirrel. The bald eagle is rough. If something eats the squirrel then the squirrel chases the bald eagle. The squirrel eats the bald eagle. The bald eagle eats the squirrel. The squirrel is kind. The squirrel is round. The squirrel is big. The bald eagle is nice. The bald eagle is big. The squirrel is nice. The squirrel needs the bald eagle. The bald eagle is round. The squirrel chases the bald eagle.     Question: The bald eagle chases the squirrel.

SOLUTION:
True

