「「もし阻却するとすると引き延ばせない」ものはある」ということは成り立つということはない
fact1: 「その関連取り引きは小さくないがそれは直観する」ということは成り立たない fact2: あの救急疾患は残り難くない fact3: もしあの第一陣が染影しないがしかしそれは過不足無いとすれば「還魂するということはない」ということは成り立つ fact4: あの救急疾患はずらす fact5: 仮にあの救急疾患は阻却するとすれば「それは引き延ばせる」ということは成り立つ fact6: もしあの救急疾患は残り難くないが所らしいならば「阻却しない」ということは本当だ fact7: 「「ある物は残り難くないけれど所らしい」ということは成り立つ」ということは成り立つということはないとしたらそれは引き延ばせない fact8: あの救急疾患はア済みでない fact9: もしあの救急疾患が残り難くて所らしいならそれは阻却するということはない fact10: もし「あるものは残り難くない一方で所らしい」ということは誤りであるとすれば引き延ばせる fact11: 残り難い物は引き延ばせない fact12: 「あの救急疾患は残り難いということはないけれど所らしい」ということは間違っているならそれは引き延ばせる fact13: 「もしも「アサミ式カニューレだ」ということは成り立つなら流し続けるということはない」物はある fact14: あの救急疾患が残り難いとすれば引き延ばせない fact15: あの救急疾患は引き延ばせる fact16: 「「阻却する」ということは本当であるならば「引き延ばせる」ということは正しい」ものはある fact17: この過大評価は減るとしたら「それは有りゃしない」ということは成り立つ fact18: 「あの救急疾患は残り難いし所らしい」ということは事実と異なる
void -> assump2: 以下のように仮定する。あの救急疾患は残り難くないがしかし所らしい; fact6 & assump2 -> int1: あの救急疾患は阻却しない; void -> assump1: 以下のように仮定する。あの救急疾患は阻却する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「「あの救急疾患は残り難いということはないけれど所らしい」ということは誤りである」ということは成り立つ; fact7 -> int4: 仮に「あの救急疾患は残り難いということはないが所らしい」ということは嘘だとすればそれは引き延ばせない; int3 & int4 -> int5: あの救急疾患は引き延ばせない; [assump1] & int5 -> int6: もしも「あの救急疾患は阻却する」ということは本当だとすると引き延ばせない; int6 -> hypothesis;
$facts$ = fact1: 「その関連取り引きは小さくないがそれは直観する」ということは成り立たない fact2: あの救急疾患は残り難くない fact3: もしあの第一陣が染影しないがしかしそれは過不足無いとすれば「還魂するということはない」ということは成り立つ fact4: あの救急疾患はずらす fact5: 仮にあの救急疾患は阻却するとすれば「それは引き延ばせる」ということは成り立つ fact6: もしあの救急疾患は残り難くないが所らしいならば「阻却しない」ということは本当だ fact7: 「「ある物は残り難くないけれど所らしい」ということは成り立つ」ということは成り立つということはないとしたらそれは引き延ばせない fact8: あの救急疾患はア済みでない fact9: もしあの救急疾患が残り難くて所らしいならそれは阻却するということはない fact10: もし「あるものは残り難くない一方で所らしい」ということは誤りであるとすれば引き延ばせる fact11: 残り難い物は引き延ばせない fact12: 「あの救急疾患は残り難いということはないけれど所らしい」ということは間違っているならそれは引き延ばせる fact13: 「もしも「アサミ式カニューレだ」ということは成り立つなら流し続けるということはない」物はある fact14: あの救急疾患が残り難いとすれば引き延ばせない fact15: あの救急疾患は引き延ばせる fact16: 「「阻却する」ということは本当であるならば「引き延ばせる」ということは正しい」ものはある fact17: この過大評価は減るとしたら「それは有りゃしない」ということは成り立つ fact18: 「あの救急疾患は残り難いし所らしい」ということは事実と異なる ; $hypothesis$ = 「「もし阻却するとすると引き延ばせない」ものはある」ということは成り立つということはない ; $proof$ = 
void -> assump2: 以下のように仮定する。あの救急疾患は残り難くないがしかし所らしい; fact6 & assump2 -> int1: あの救急疾患は阻却しない; void -> assump1: 以下のように仮定する。あの救急疾患は阻却する; int1 & assump1 -> int2: これは矛盾である; [assump2] & int2 -> int3: 「「あの救急疾患は残り難いということはないけれど所らしい」ということは誤りである」ということは成り立つ; fact7 -> int4: 仮に「あの救急疾患は残り難いということはないが所らしい」ということは嘘だとすればそれは引き延ばせない; int3 & int4 -> int5: あの救急疾患は引き延ばせない; [assump1] & int5 -> int6: もしも「あの救急疾患は阻却する」ということは本当だとすると引き延ばせない; int6 -> hypothesis; __DISPROVED__
事実1: 「その関連取り引きは小さくないがそれは直観する」ということは成り立たない
事実2: あの救急疾患は残り難くない
事実3: もしあの第一陣が染影しないがしかしそれは過不足無いとすれば「還魂するということはない」ということは成り立つ
事実4: あの救急疾患はずらす
事実5: 仮にあの救急疾患は阻却するとすれば「それは引き延ばせる」ということは成り立つ
事実6: もしあの救急疾患は残り難くないが所らしいならば「阻却しない」ということは本当だ
事実7: 「「ある物は残り難くないけれど所らしい」ということは成り立つ」ということは成り立つということはないとしたらそれは引き延ばせない
事実8: あの救急疾患はア済みでない
事実9: もしあの救急疾患が残り難くて所らしいならそれは阻却するということはない
事実10: もし「あるものは残り難くない一方で所らしい」ということは誤りであるとすれば引き延ばせる
事実11: 残り難い物は引き延ばせない
事実12: 「あの救急疾患は残り難いということはないけれど所らしい」ということは間違っているならそれは引き延ばせる
事実13: 「もしも「アサミ式カニューレだ」ということは成り立つなら流し続けるということはない」物はある
事実14: あの救急疾患が残り難いとすれば引き延ばせない
事実15: あの救急疾患は引き延ばせる
事実16: 「「阻却する」ということは本当であるならば「引き延ばせる」ということは正しい」ものはある
事実17: この過大評価は減るとしたら「それは有りゃしない」ということは成り立つ
事実18: 「あの救急疾患は残り難いし所らしい」ということは事実と異なる

仮説: 「「もし阻却するとすると引き延ばせない」ものはある」ということは成り立つということはない
1. 仮定2: 以下のように仮定する。あの救急疾患は残り難くないがしかし所らしい
2. 事実6と仮定2から、推論1: "あの救急疾患は阻却しない"が導かれる
3. 仮定1: 以下のように仮定する。あの救急疾患は阻却する
4. 推論1と仮定1から、推論2: "これは矛盾である"が導かれる
5. [仮定2]と推論2から、推論3: "「「あの救急疾患は残り難いということはないけれど所らしい」ということは誤りである」ということは成り立つ"が導かれる
6. 事実7から、推論4: "仮に「あの救急疾患は残り難いということはないが所らしい」ということは嘘だとすればそれは引き延ばせない"が導かれる
7. 推論3と推論4から、推論5: "あの救急疾患は引き延ばせない"が導かれる
8. [仮定1]と推論5から、推論6: "もしも「あの救急疾患は阻却する」ということは本当だとすると引き延ばせない"が導かれる
9. 推論6から、仮説が否定される

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