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 bear eats the squirrel. If someone needs the squirrel then the squirrel is nice. If someone sees the bear and the bear sees the bald eagle then the bald eagle is nice. The bald eagle is red. The squirrel sees the bald eagle.     Question: The bear does not eat the squirrel.

SOLUTION: False

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

