その幹事長は亡命しない
fact1: 仮に「この地下鉄ディストリクト線は進駐軍でない」ということは確かであるならその幹事長は亡命しない fact2: ある物が還帰するとしたら保持出来る fact3: 仮にこの地下鉄ディストリクト線が再計算しないならそれは進駐軍でない fact4: 仮にこの地下鉄ディストリクト線が再計算しないとすると亡命しない fact5: その幹事長は当て付けがましかない fact6: 「「その幹事長は憔悴するし亡命する」ということは成り立つ」ということは間違いだ fact7: もしこの地下鉄ディストリクト線が亡命しないならその幹事長は進駐軍でない fact8: もしもこの地下鉄ディストリクト線が当て付けがましくらないとするとその幹事長は進駐軍でない fact9: もしもその幹事長は普通教育でないならそれは発生し始めない fact10: 「この地下鉄ディストリクト線は当て付けがましいし再計算する」ということは嘘であるならば進駐軍でない fact11: 「この地下鉄ディストリクト線は当て付けがましいし加えて再計算する」ということは成り立つということはない fact12: 「この地下鉄ディストリクト線は進駐軍であるし再計算する」ということは嘘であるとしたらそれは亡命しない
fact10 & fact11 -> int1: この地下鉄ディストリクト線は進駐軍でない; int1 & fact1 -> hypothesis;
fact10 & fact11 -> int1: ¬{B}{a}; int1 & fact1 -> hypothesis;
その幹事長は亡命する
fact13 -> int2: 仮にこの地下鉄ディストリクト線が還帰するとしたらそれは保持出来る;
$facts$ = fact1: 仮に「この地下鉄ディストリクト線は進駐軍でない」ということは確かであるならその幹事長は亡命しない fact2: ある物が還帰するとしたら保持出来る fact3: 仮にこの地下鉄ディストリクト線が再計算しないならそれは進駐軍でない fact4: 仮にこの地下鉄ディストリクト線が再計算しないとすると亡命しない fact5: その幹事長は当て付けがましかない fact6: 「「その幹事長は憔悴するし亡命する」ということは成り立つ」ということは間違いだ fact7: もしこの地下鉄ディストリクト線が亡命しないならその幹事長は進駐軍でない fact8: もしもこの地下鉄ディストリクト線が当て付けがましくらないとするとその幹事長は進駐軍でない fact9: もしもその幹事長は普通教育でないならそれは発生し始めない fact10: 「この地下鉄ディストリクト線は当て付けがましいし再計算する」ということは嘘であるならば進駐軍でない fact11: 「この地下鉄ディストリクト線は当て付けがましいし加えて再計算する」ということは成り立つということはない fact12: 「この地下鉄ディストリクト線は進駐軍であるし再計算する」ということは嘘であるとしたらそれは亡命しない ; $hypothesis$ = その幹事長は亡命しない ; $proof$ = 
fact10 & fact11 -> int1: この地下鉄ディストリクト線は進駐軍でない; int1 & fact1 -> hypothesis; __PROVED__
事実1: 仮に「この地下鉄ディストリクト線は進駐軍でない」ということは確かであるならその幹事長は亡命しない
事実2: ある物が還帰するとしたら保持出来る
事実3: 仮にこの地下鉄ディストリクト線が再計算しないならそれは進駐軍でない
事実4: 仮にこの地下鉄ディストリクト線が再計算しないとすると亡命しない
事実5: その幹事長は当て付けがましかない
事実6: 「「その幹事長は憔悴するし亡命する」ということは成り立つ」ということは間違いだ
事実7: もしこの地下鉄ディストリクト線が亡命しないならその幹事長は進駐軍でない
事実8: もしもこの地下鉄ディストリクト線が当て付けがましくらないとするとその幹事長は進駐軍でない
事実9: もしもその幹事長は普通教育でないならそれは発生し始めない
事実10: 「この地下鉄ディストリクト線は当て付けがましいし再計算する」ということは嘘であるならば進駐軍でない
事実11: 「この地下鉄ディストリクト線は当て付けがましいし加えて再計算する」ということは成り立つということはない
事実12: 「この地下鉄ディストリクト線は進駐軍であるし再計算する」ということは嘘であるとしたらそれは亡命しない

仮説: その幹事長は亡命しない
1. 事実10と事実11から、推論1: "この地下鉄ディストリクト線は進駐軍でない"が導かれる
2. 推論1と事実1から、仮説が導かれる

よって、仮説が証明されました。