Erin is green. Erin is kind. Erin is nice. Erin is smart. Gary is furry. Gary is green. Gary is kind. Gary is red. Gary is smart. Gary is white. All kind people are red. All green people are red.
Gary is not white.