Anne is cold. Anne is nice. Anne is red. Anne is white. Bob is blue. Bob is not red. Bob is young. If something is blue and cold then it is not nice. All young, cold things are nice. If Bob is red then Bob is white. If something is not cold then it is nice. If something is not young and not nice then it is blue. If something is not nice then it is not smart.
Bob is not white.