Erin is big. Erin is cold. Erin is furry. Erin is rough. Erin is smart. Gary is big. Gary is cold. Gary is furry. Gary is red. Gary is rough. Gary is smart. Gary is white. All red, white things are smart. All white, cold things are smart. If something is big then it is rough.
Erin is not white.