Anne is cold. Dave is cold. Dave is kind. Dave is red. Dave is smart. Erin is cold. Erin is not kind. Erin is smart. Fiona is not blue. Fiona is cold. Fiona is not nice. Fiona is white. If something is cold and blue then it is white. Kind things are red. Nice things are cold. Kind things are blue. All nice, red things are white. If something is not white then it is cold. If something is smart and not cold then it is not red. If Erin is not cold then Erin is nice.
Anne is not blue.