Anne is green. Anne is rough. Dave is blue. Dave is cold. Dave is green. Dave is nice. Dave is not smart. Erin is blue. Erin is cold. Erin is nice. Erin is smart. Fiona is green. Fiona is red. Fiona is rough. Fiona is smart. Red people are rough. All cold, nice people are green. If someone is rough and not cold then they are not nice. If someone is green then they are red. If someone is cold and not blue then they are smart. All cold people are green. If someone is green and not red then they are nice. If someone is green and not red then they are not cold.
Anne is not rough.