Anne is cold. Anne is green. Anne is kind. Anne is not smart. Bob is blue. Bob is green. Bob is kind. Bob is quiet. Bob is not smart. Bob is white. Fiona is not blue. Fiona is quiet. If Fiona is green and Fiona is cold then Fiona is blue. If something is not blue then it is quiet.
Anne is not blue.