Anne is blue. Anne is not furry. Anne is not white. Bob is kind. Bob is smart. Dave is not blue. Dave is red. Dave is not white. Gary is big. Gary is furry. Gary is smart. Gary is white. All big, kind things are red.
Gary is not red.