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