Erin is nice. Erin is white. Erin is young. Young things are red. All rough, nice things are green. Young things are red. If Erin is blue and Erin is young then Erin is not nice. If something is not red then it is green. If something is not red then it is blue. If something is red and not blue then it is rough. If Erin is blue and Erin is not rough then Erin is nice.
Erin is not nice.