Anne is red. Dave is rough. Erin is cold. Fiona is green. Smart things are cold. If something is rough then it is cold. All green things are cold. If Erin is green and Erin is kind then Erin is nice. All smart, rough things are red. All green, cold things are nice. If something is smart then it is kind. Green, kind things are red.
Fiona is not nice.