Xであるものの数え上げ→Xならば?
Xである条件は?
→Xならば?
XならばY
対偶をとってnot Yならnot X
not Yを数え上げて
余事象を引く
数え上げ