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: Charlie is not kind. Bob is not furry. If someone is furry and not young then they are not white. Charlie is furry. Bob is kind. Fiona is not kind. Bob is young. Fiona is white. Bob is smart. Anne is not red. Charlie is not green. Bob is green. Fiona is smart. Fiona is not green. Fiona is not red. Bob is not red. If someone is furry and not white then they are not green. Anne is white.     Question: Anne is not white.

SOLUTION: False

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

SOLUTION: False

PROBLEM: Paragraph: If something chases the cow and it is nice then it needs the tiger. The tiger visits the cow. If something chases the tiger then the tiger needs the bald eagle. If something visits the bald eagle and the bald eagle chases the cow then the cow visits the tiger. If something needs the bald eagle then it is green. The bald eagle is red. The cow chases the bald eagle. If the cow chases the bald eagle then the cow needs the tiger. If something is young and cold then it needs the cow.     Question: The tiger visits the cow.

SOLUTION:
True