Anne is cold. Anne is white. Dave is blue. Dave is nice. Dave is white. Gary is blue. Gary is cold. Gary is furry. Gary is nice. Gary is red. Gary is young. Harry is blue. All nice, white people are furry. If someone is furry and nice then they are red.
Gary is not nice.