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 cat is nice. If something is cold and round then it is nice. Cold things are round. If something is round and rough then it is big. All cold things are big. If something is rough then it is round. The cat is rough. The cat is big. All cold things are nice. The cat is round. Big things are rough. If the cat is rough and the cat is cold then the cat is round. The cat is cold. Question: The cat is not nice.

SOLUTION: False

PROBLEM: Paragraph: If someone visits the mouse then the mouse is young. The tiger is young. The squirrel sees the mouse. The mouse needs the squirrel. The rabbit visits the mouse. The squirrel sees the tiger. The tiger needs the mouse. The mouse sees the rabbit. The squirrel is red. If someone sees the rabbit and they visit the rabbit then the rabbit sees the tiger. If someone visits the mouse and they see the rabbit then the rabbit visits the tiger. The mouse is young. The squirrel is young. The squirrel is nice. The squirrel visits the rabbit. The rabbit needs the squirrel. The rabbit needs the mouse. If someone sees the rabbit and they visit the tiger then they need the tiger. If the mouse is young then the mouse visits the tiger. The squirrel sees the rabbit. The tiger is kind. If someone is red and big then they see the tiger. Question: The rabbit needs the squirrel.

SOLUTION: True

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

SOLUTION:
False