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 Fiona is red and Fiona is kind then Fiona is green. Harry is red. If Fiona is blue and Fiona is rough then Fiona is green. All furry people are red. Harry is nice. Dave is rough. Fiona is nice. All rough people are furry. Harry is rough. Dave is red. Fiona is kind. Harry is furry. Dave is nice. Dave is furry. Dave is kind. Fiona is blue. All blue people are green. Dave is blue. Fiona is red. Dave is green. All blue people are red. Harry is green.     Question: Harry is green.
Output:
True