Anne is furry. Anne is red. Anne is rough. Erin is rough. Erin is round. Erin is white. Gary is cold. Gary is red. Gary is white. Gary is young. If something is furry then it is red. All red, cold things are round. Furry, cold things are rough. All red, young things are cold. If something is cold and white then it is round. If something is round and rough then it is furry. Red things are cold. If Gary is furry and Gary is cold then Gary is red.
Erin is not young.