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 bald eagle does not eat the tiger. If something sees the mouse then it is not kind. The bald eagle visits the mouse. The tiger sees the mouse. The cat eats the mouse. The mouse is not big. The tiger does not eat the mouse. The cat is nice. The cat does not see the tiger. The tiger visits the mouse. The bald eagle visits the tiger.     Question: The tiger eats the mouse.

SOLUTION: False

PROBLEM: Paragraph: If Dave is nice and Dave is blue then Dave is round. Dave is kind. Harry is not furry. Dave is blue. If something is kind and not red then it is quiet. All furry things are blue. If something is nice and red then it is kind. Dave is red. Bob is round. Harry is red. If something is kind and not furry then it is blue. Harry is nice. Harry is kind. Bob is not nice. If something is furry and not nice then it is red. Bob is kind. Harry is round. Bob is blue. Bob is furry. Dave is round. Bob is red.     Question: Dave is red.

SOLUTION: True

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 bald eagle is red.

SOLUTION:
True