Anne is blue. Anne is cold. Anne is green. Anne is nice. Anne is smart. Bob is blue. Bob is cold. Bob is green. Bob is nice. Bob is quiet. Bob is smart. Bob is white. Erin is blue. Fiona is nice. Fiona is smart. Fiona is white. Nice, green things are quiet. All white things are cold. If something is cold then it is green. Quiet, white things are smart. If something is cold then it is quiet. All green things are nice. If Erin is white and Erin is nice then Erin is smart. If Fiona is cold and Fiona is smart then Fiona is nice.
Fiona is not nice.