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: Fiona is red. All big people are furry. Dave is white. Young, white people are not green. If someone is white and not green then they are furry. If Gary is round then Gary is not red. If someone is not round and not white then they are red. If someone is green and not white then they are big. Gary is red. Gary is furry. Fiona is white. If Bob is young then Bob is red. If someone is young then they are white. Bob is red. Gary is not green.     Question: Gary is green.

SOLUTION: False

PROBLEM: Paragraph: The bald eagle eats the lion. The bear needs the bald eagle. The bald eagle needs the bear. The lion eats the bald eagle. The bald eagle is young. The bear chases the bald eagle. The bear is big. If something eats the bald eagle then the bald eagle needs the lion. The bald eagle is big. The bald eagle needs the lion. The bear is rough. The bear is blue. The bald eagle is rough.     Question: The bear is not rough.

SOLUTION: False

PROBLEM: Paragraph: Harry is nice. Harry is rough. Harry is cold. Harry is furry. Harry is blue. Harry is big. Harry is young. If Harry is big then Harry is furry. All nice people are big.     Question: Harry is blue.

SOLUTION:
True

