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 furry. Fiona is cold. All blue things are cold. Harry is cold. Fiona is not kind. Furry, cold things are not kind. Rough things are big. Harry is not furry. All smart things are cold. Fiona is rough. Harry is big. If Fiona is cold then Fiona is smart. Fiona is smart. Harry is kind. If something is not rough then it is kind. Harry is rough. Harry is smart. Harry is not blue. Charlie is blue. If something is not kind then it is furry. All blue things are smart. Fiona is big. Fiona is blue. Question: Harry is cold.

SOLUTION: True

PROBLEM: Paragraph: The bear needs the lion. The bear needs the tiger. The bear likes the lion. The tiger is big. The tiger eats the bear. The lion eats the bear. The tiger needs the bear. The tiger is rough. The bear eats the lion. If the tiger needs the bear and the bear needs the lion then the tiger likes the lion. The lion eats the tiger. The tiger eats the lion. The bear likes the tiger. The bear is rough. The bear eats the tiger. The lion likes the tiger. If the lion eats the tiger and the lion needs the tiger then the tiger needs the lion. Question: The lion eats the tiger.

SOLUTION: True

PROBLEM: Paragraph: If something is green then it is quiet. Erin is cold. All cold, white things are young. Erin is quiet. Erin is white. Erin is nice. Erin is round. All white things are green. Quiet things are green. Erin is young. All round, white things are nice. Erin is green. If something is quiet then it is nice. Question: Erin is not white.

SOLUTION:
False