Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is nice. Dave is red. Dave is white. Gary is big. Gary is cold. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is white. All big, nice people are red. All white people are kind. If Gary is red then Gary is furry. If Dave is red then Dave is furry. If someone is furry then they are kind. If Gary is big and Gary is nice then Gary is white.
Dave is not nice.