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: Harry is young. Harry is furry. Dave is round. All kind things are young. Gary is kind. All round, quiet things are green. Dave is young. Gary is furry. Dave is green. Anne is big. Harry is green. Harry is quiet. Harry is big. If something is round and green then it is young. Harry is kind. Question: Harry is not big.

SOLUTION: False

PROBLEM: Paragraph: Dave is rough. Anne is quiet. Anne is cold. Dave is blue. Bob is cold. Smart things are cold. Bob is kind. All cold, white things are rough. Dave is white. If something is kind and rough then it is smart. Anne is rough. Dave is smart. Dave is cold. Question: Dave is not cold.

SOLUTION:
False