Anne is white. Erin is green. Erin is quiet. Erin is smart. Gary is blue. Gary is quiet. Gary is red. Gary is round. Gary is smart. Harry is blue. Harry is green. Harry is quiet. Harry is red. Harry is smart. Harry is white. Red things are white. All blue things are smart. If Gary is white and Gary is smart then Gary is blue.
Anne is not blue.