Instructions: 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: Gary is white. If something is big and not cold then it is not quiet. If Gary is not cold and Gary is not quiet then Gary is not big. Dave is young. If something is rough and young then it is big. If something is big and quiet then it is red. If something is red then it is not cold. All cold things are rough. Dave is rough. Harry is big. Gary is rough. Harry is rough. Dave is red.     Question: Gary is rough.
Output:
True