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.

Example Input: Paragraph: Gary is cold. Furry, kind things are smart. All cold, smart things are kind. Gary is smart. If something is smart and furry then it is cold. If something is kind and round then it is nice. Gary is round. All cold things are round. Gary is big. Gary is furry. Gary is kind. Gary is nice. If Gary is kind then Gary is round. If something is furry and cold then it is kind. Nice, furry things are round.     Question: Gary is not smart.
Example Output: False

Example Input: Paragraph: Charlie is blue. If Harry is blue then Harry is green. Erin is round. Green, blue people are round. Harry is red. If someone is green and red then they are round. Bob is round.     Question: Harry is not red.
Example Output: False

Example 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.
Example Output:
True