I did a karnaugh map of this logic to help figure out what is rejected vs. accepted, but the reasoning for this particular set of rules escapes me :). Are there some high level human rules you can add as comments to clarify how this particular set of conditions were derived?