Part 1. 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.
Part 2. Example
Paragraph: Anne is rough. Cold people are rough. If Anne is green then Anne is blue. Rough people are young. Anne is blue. If someone is rough and furry then they are blue. All young people are cold. If someone is rough and nice then they are green. Anne is young.     Fact: Anne is rough.
Answer: True
Explanation: From the given paragraph, we can infer that 'Anne is rough'
Part 3. Exercise
Paragraph: If something is rough then it is big. Gary is kind. Erin is rough. Erin is red. Gary is green. Gary is blue. Erin is blue. If Gary is rough then Gary is green. All kind things are blue. All quiet things are big. Bob is blue. Bob is rough. If something is green and blue then it is quiet. Bob is green. Red, quiet things are blue. Bob is big.     Question: Gary is blue.
Answer:
True