Anne is nice. Anne is white. Bob is blue. Bob is not kind. Bob is nice. Charlie is kind. Charlie is quiet. Charlie is not white. Erin is not nice. Erin is not quiet. If Bob is smart then Bob is white. If Bob is smart then Bob is not kind. If Bob is smart then Bob is kind. If Charlie is nice and Charlie is white then Charlie is not blue. If something is not quiet then it is white. If something is quiet and not kind then it is nice. If something is not white and not smart then it is nice. If Anne is smart and Anne is not white then Anne is not nice.
Anne is blue.