Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is rough. Anne is round. Anne is young. Erin is cold. Erin is furry. Erin is nice. Erin is red. Erin is rough. Erin is round. Erin is young. Red people are cold. If Anne is nice then Anne is cold.
Erin is not nice.