Anne is blue. Anne is furry. Anne is kind. Anne is round. Anne is smart. Gary is blue. Gary is furry. Gary is kind. Gary is smart. Gary is young. If Anne is smart then Anne is furry. Furry, round things are blue. All blue, kind things are smart.
Gary is not blue.