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: All nice, blue things are white. Charlie is green. If Dave is blue and Dave is furry then Dave is red. Fiona is blue. Dave is nice.     Question: Charlie is not green.

SOLUTION: False

PROBLEM: Paragraph: If something is not round then it is nice. The dog is young. If something is round and not young then it is not rough. If something is rough and not young then it is red. If something is rough and nice then it is not round. The dog is not nice. All round things are rough. The dog is rough. The dog is red. The dog is round. If something is young and not rough then it is red.     Question: The dog is rough.

SOLUTION: True

PROBLEM: Paragraph: If something visits the squirrel and it eats the squirrel then the squirrel eats the bear. The bear is blue. If something eats the bear then the bear is kind. The squirrel is big. The bear visits the squirrel. If something visits the squirrel and the squirrel visits the bear then it eats the squirrel. If something eats the bear then it is kind. If something eats the squirrel and it is big then the squirrel eats the bear. The bear eats the squirrel. The squirrel needs the bear. The bear is red. The squirrel is rough. If something eats the squirrel and the squirrel is rough then the squirrel is blue. The bear needs the squirrel. The bear is rough. The bear is kind. If the bear visits the squirrel then the squirrel needs the bear. If the bear eats the squirrel then the squirrel visits the bear.     Question: The bear is not rough.

SOLUTION:
False

