Anne is furry. Anne is kind. Anne is nice. Anne is red. Anne is not young. Gary is blue. Gary is furry. Gary is kind. Gary is nice. Gary is red. Gary is white. Gary is not young. Young, white people are red. Nice people are red. If Gary is furry then Gary is nice.
Gary is not blue.