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.
Input: Paragraph: If something is not rough then it is red. Gary is young. Charlie is rough. Erin is kind. Charlie is not cold. If something is rough and smart then it is not red. Erin is cold. Harry is not young. Gary is rough.     Question: Charlie is not cold.
Output:
True