Anne is blue. Anne is cold. Anne is green. Anne is not nice. Anne is not quiet. Anne is red. Anne is white. Erin is quiet. Erin is red. Erin is white. Harry is not blue. Harry is cold. Harry is quiet. Harry is red. Harry is white. If something is quiet then it is nice. If something is blue and not cold then it is white. All cold, nice things are not green. If Erin is red then Erin is not green. Nice things are quiet. If Harry is nice and Harry is not red then Harry is blue. If Harry is green then Harry is not white. All green, nice things are white.
Erin is not green.