Task: Fact Verification
Input (English): 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.
Output (English): False