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: Round things are furry. Anne is nice. Anne is kind. Bob is white. If Anne is white then Anne is kind. Erin is cold. Erin is furry. Erin is round. Erin is big. Anne is cold. Bob is kind. If Anne is furry then Anne is round. Charlie is furry.     Question: Anne is nice.

SOLUTION: True

PROBLEM: Paragraph: Big people are young. Fiona is cold. If someone is not kind and not green then they are not cold. All green people are not round. Anne is young. Anne is big. Fiona is young. Anne is kind. If Anne is not kind then Anne is round. Fiona is kind. If someone is not furry then they are not green. Fiona is big. Anne is cold. Anne is not round. Fiona is round. If someone is kind and not young then they are round.     Question: Fiona is cold.

SOLUTION: True

PROBLEM: Paragraph: The tiger is not kind. The cow is red. The cow does not chase the tiger. The bear is round. If something is rough and it visits the bear then the bear needs the cow. The tiger chases the cow. The tiger is rough. The tiger does not need the cow. The tiger is round. The bear chases the tiger. If something visits the bear then it is red. The bear is kind. If something visits the cow then it visits the bear. The bear needs the tiger. The tiger visits the cow. The bear is nice. The tiger is nice. The cow chases the bear.     Question: The tiger chases the cow.

SOLUTION:
True