Anne is not blue. Bob is green. Gary is white. Harry is green. If someone is blue and not quiet then they are red. If Anne is white then Anne is red. If someone is red and not smart then they are cold. If someone is red and not quiet then they are blue. If Gary is smart then Gary is green. Smart people are red.
Anne is not blue.