Anne is cold. Erin is cold. Erin is nice. Erin is red. Erin is rough. Erin is round. Fiona is round. If something is white then it is red. Nice, blue things are cold. All blue things are cold. Red things are blue. If Anne is red and Anne is round then Anne is nice. If Erin is white then Erin is nice. All round things are red. All rough things are cold.
Erin is not cold.