Anne is young. Bob is not quiet. Charlie is quiet. Quiet things are round. If Charlie is young then Charlie is green. If something is quiet then it is round. If something is not blue then it is green. If something is not quiet then it is smart. If something is not red then it is young. If something is green then it is round. If something is not round then it is young.
Anne is not red.