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: 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: Harry is nice. Harry is not smart. Harry is cold. Bob is nice. Bob is not cold. If someone is not young then they are green. Bob is white. Harry is young. Harry is green. Bob is young. Harry is white. Bob is smart. Harry is red. If someone is smart and young then they are not cold. Bob is green. Bob is not red. If someone is young and not white then they are red.     Question: Harry is green.

SOLUTION: True

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: Fiona is not rough.

SOLUTION:
False