Task: Fact Verification
Input (English): Paragraph: Fiona is furry. Fiona is cold. All blue things are cold. Harry is cold. Fiona is not kind. Furry, cold things are not kind. Rough things are big. Harry is not furry. All smart things are cold. Fiona is rough. Harry is big. If Fiona is cold then Fiona is smart. Fiona is smart. Harry is kind. If something is not rough then it is kind. Harry is rough. Harry is smart. Harry is not blue. Charlie is blue. If something is not kind then it is furry. All blue things are smart. Fiona is big. Fiona is blue.     Question: Harry is cold.
Output (English): True