「その上級生は平伏するかもしくはそれは出し難い」ということは誤りだ
fact1: 仮にあの浮き世が救い出さないならばその上級生は平伏する fact2: もしもなんらかのものは救い出すということはないとすれば「それは平伏するかあるいは出し難いかあるいは両方だ」ということは誤りである fact3: 何かは分離すらない一方で救い出すとするとＣツーだということはない fact4: もし仮にあの事務局が分離すとすればＣツーだ fact5: もし「その全国組織は二店目だ」ということは確かであるとすればあの事務局はＣツーでない fact6: その全国組織が二店目であるかそれが肌寒くないかあるいはどちらもだとすればあの事務局はＣツーでない fact7: その全国組織は二店目であるかもしくはそれは肌寒いということはない fact8: もしあの浮き世が救い出すとしたらあの事務局は分離す
void -> assump1: 以下のように仮定する。あの浮き世は救い出す; fact8 & assump1 -> int1: あの事務局は分離す; int1 & fact4 -> int2: 「あの事務局はＣツーである」ということは成り立つ; fact6 & fact7 -> int3: あの事務局はＣツーでない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの浮き世は救い出さない; int5 & fact1 -> int6: その上級生は平伏する; int6 -> hypothesis;
「その上級生は平伏するかもしくは出し難いかあるいは両方である」ということは嘘だ
fact9 -> int7: もしもその上級生は救い出さないなら「平伏するかあるいはそれは出し難いかまたは両方ともだ」ということは誤っている;
$facts$ = fact1: 仮にあの浮き世が救い出さないならばその上級生は平伏する fact2: もしもなんらかのものは救い出すということはないとすれば「それは平伏するかあるいは出し難いかあるいは両方だ」ということは誤りである fact3: 何かは分離すらない一方で救い出すとするとＣツーだということはない fact4: もし仮にあの事務局が分離すとすればＣツーだ fact5: もし「その全国組織は二店目だ」ということは確かであるとすればあの事務局はＣツーでない fact6: その全国組織が二店目であるかそれが肌寒くないかあるいはどちらもだとすればあの事務局はＣツーでない fact7: その全国組織は二店目であるかもしくはそれは肌寒いということはない fact8: もしあの浮き世が救い出すとしたらあの事務局は分離す ; $hypothesis$ = 「その上級生は平伏するかもしくはそれは出し難い」ということは誤りだ ; $proof$ = 
void -> assump1: 以下のように仮定する。あの浮き世は救い出す; fact8 & assump1 -> int1: あの事務局は分離す; int1 & fact4 -> int2: 「あの事務局はＣツーである」ということは成り立つ; fact6 & fact7 -> int3: あの事務局はＣツーでない; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: あの浮き世は救い出さない; int5 & fact1 -> int6: その上級生は平伏する; int6 -> hypothesis; __DISPROVED__
事実1: 仮にあの浮き世が救い出さないならばその上級生は平伏する
事実2: もしもなんらかのものは救い出すということはないとすれば「それは平伏するかあるいは出し難いかあるいは両方だ」ということは誤りである
事実3: 何かは分離すらない一方で救い出すとするとＣツーだということはない
事実4: もし仮にあの事務局が分離すとすればＣツーだ
事実5: もし「その全国組織は二店目だ」ということは確かであるとすればあの事務局はＣツーでない
事実6: その全国組織が二店目であるかそれが肌寒くないかあるいはどちらもだとすればあの事務局はＣツーでない
事実7: その全国組織は二店目であるかもしくはそれは肌寒いということはない
事実8: もしあの浮き世が救い出すとしたらあの事務局は分離す

仮説: 「その上級生は平伏するかもしくはそれは出し難い」ということは誤りだ
1. 仮定1: 以下のように仮定する。あの浮き世は救い出す
2. 事実8と仮定1から、推論1: "あの事務局は分離す"が導かれる
3. 推論1と事実4から、推論2: "「あの事務局はＣツーである」ということは成り立つ"が導かれる
4. 事実6と事実7から、推論3: "あの事務局はＣツーでない"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "あの浮き世は救い出さない"が導かれる
7. 推論5と事実1から、推論6: "その上級生は平伏する"が導かれる
8. 推論6から、仮説が否定される

よって、仮説が否定されました。