Anne is cold. Anne is nice. Anne is not rough. Anne is smart. Anne is white. Bob is nice. Bob is not red. Bob is not rough. Dave is nice. Dave is red. Dave is smart. Dave is white. Gary is not blue. Gary is cold. Gary is nice. Gary is smart. If someone is blue and not cold then they are nice. If someone is rough and not red then they are blue. If someone is cold and not white then they are smart. Red people are not blue. If someone is white and not nice then they are not red. If someone is white and not smart then they are not rough.
Anne is smart.