Anne is nice. Erin is nice. All green, cold things are smart. All white, nice things are green. All round things are not rough. Round, rough things are white. All green, rough things are smart. If Erin is not green then Erin is round.
Anne is not cold.