Anne is nice. Charlie is rough. Erin is rough. Gary is smart. Quiet, rough things are not kind. If something is kind and not smart then it is not quiet. Nice, rough things are not smart. If something is blue and not quiet then it is red. Blue things are red. If Anne is quiet then Anne is red. If something is nice and not kind then it is red. If something is not quiet then it is rough.
Anne is not red.