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 likes the bald eagle. The dog eats the bear. The dog is round. The dog sees the bald eagle. The bald eagle likes the cow. The bear is round. If someone is rough then they see the cow. The bald eagle sees the dog. The cow is nice. The bear likes the bald eagle. The dog eats the bald eagle.     Question: The dog eats the bear.

SOLUTION: True

PROBLEM: Paragraph: If something is not nice and not blue then it is not furry. If Fiona is not rough then Fiona is big. Fiona is not nice. Fiona is big. Blue things are big. Fiona is young. If Fiona is green and Fiona is big then Fiona is nice. If Fiona is not big then Fiona is nice. If something is green and not blue then it is furry. If something is nice and furry then it is blue. If something is big and nice then it is not green.     Question: Fiona is young.

SOLUTION: True

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

