論理二項式の中にある条件で、後続の条件でカバーされているために冗長となっているものを報告します。