Task: Fact Verification
Input (English): Paragraph: If Dave is nice and Dave is blue then Dave is round. Dave is kind. Harry is not furry. Dave is blue. If something is kind and not red then it is quiet. All furry things are blue. If something is nice and red then it is kind. Dave is red. Bob is round. Harry is red. If something is kind and not furry then it is blue. Harry is nice. Harry is kind. Bob is not nice. If something is furry and not nice then it is red. Bob is kind. Harry is round. Bob is blue. Bob is furry. Dave is round. Bob is red.     Question: Dave is red.
Output (English): True