(notA⇒B)⇒((Aor(notA))⇒(AorB))
Aor(notA) は常に真だから、(notA⇒B)⇒(AorB)