Anne is not white. Bob is green. Fiona is white. All smart, nice people are blue. If Fiona is green and Fiona is white then Fiona is smart. If someone is not cold then they are nice. If Fiona is green then Fiona is nice. Nice people are smart. If Bob is smart then Bob is blue.
Bob is not cold.