Anne is big. Anne is blue. Anne is furry. Anne is kind. Anne is nice. Dave is nice. Dave is round. Gary is furry. Gary is kind. Gary is nice. Gary is round. Harry is nice. Harry is round. Harry is white. If something is kind and white then it is big. If something is blue and round then it is furry. If something is kind and white then it is blue. If Dave is nice and Dave is furry then Dave is kind. All blue, kind things are round. If something is white then it is blue. If something is nice then it is white. All round, kind things are blue.
Dave is not furry.