Erin is green. Erin is rough. Erin is young. Gary is nice. Harry is green. Harry is nice. Harry is young. If something is cold and rough then it is nice. All green things are cold. If Erin is furry and Erin is rough then Erin is nice. All green, nice things are cold. If Gary is rough then Gary is young. All nice things are red.
Erin is not nice.