Anne is white. Bob is young. Fiona is red. Red things are cold. If something is young then it is green. All white things are red. If Fiona is cold then Fiona is smart. If something is young and white then it is green. If Anne is red and Anne is smart then Anne is nice. If something is young and white then it is cold. Red things are white.
Anne is not nice.