Anne is quiet. Charlie is blue. Charlie is cold. Charlie is green. Erin is red. Gary is green. Gary is kind. If Anne is red then Anne is kind. If Gary is not green then Gary is blue. If someone is rough and not green then they are quiet. If Erin is blue and Erin is not green then Erin is cold. If someone is not green and not rough then they are cold. All quiet people are not blue. If Anne is blue and Anne is cold then Anne is not green. If someone is rough and not cold then they are quiet.
Anne is red.