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: Harry is young. Bob is young. Bob is red. Harry is blue. Bob is blue. Harry is round. Harry is red. Bob is furry. Harry is furry. Bob is rough. Bob is smart. If Harry is rough and Harry is smart then Harry is round. Harry is rough. Harry is smart. Bob is round.     Question: Bob is not furry.

SOLUTION: False

PROBLEM: Paragraph: Dave is white. All nice, cold things are quiet. Dave is nice. Dave is cold. Dave is quiet. Dave is red. Dave is round. If something is furry and red then it is round. Dave is furry.     Question: Dave is not nice.

SOLUTION: False

PROBLEM: Paragraph: The rabbit is round. Green, blue people are nice. The rabbit is blue. Kind people are round. All green people are not kind. If someone is green then they are blue. The rabbit is nice. The rabbit is not kind. If someone is not nice then they are blue. The rabbit is green. If the rabbit is not nice and the rabbit is not green then the rabbit is kind. If the rabbit is nice and the rabbit is round then the rabbit is blue. If someone is blue and not round then they are nice.     Question: The rabbit is not kind.

SOLUTION:
True

