Erin is nice. Fiona is cold. Fiona is not green. Fiona is round. Harry is blue. Harry is rough. Harry is round. Furry things are nice. Green, cold things are not rough. If Fiona is cold and Fiona is rough then Fiona is green. Furry things are not rough. If Erin is green then Erin is nice. If something is not nice and not cold then it is blue.
Erin is not nice.