Erin is cold. Erin is red. Erin is rough. Erin is white. Erin is young. Gary is big. Gary is cold. Gary is furry. Gary is red. Gary is rough. Gary is white. Gary is young. Harry is big. Harry is furry. Harry is rough. Harry is white. If something is young and big then it is red. If something is cold then it is rough. If Gary is furry then Gary is young. Rough things are big. All white, young things are cold. If Erin is young and Erin is red then Erin is rough. All white, young things are big. If Gary is cold then Gary is white.
Harry is not red.