>>205
Ｂの成立は矛盾するからＡとなり、帰納法は成立します。
Ｂの成立はαパターンで成立するが、βパターンで不成立となる。
αパターンはＡＣ、ＡＤチェーンが繋がっているとき。
βパターンはＡＣ、ＡＤチェーンのいずれか一方が切れているとき。
Ａが成立するためβパターンが存在すると結論付けてます。