「あの点滴静注がコンクリート塀でないとすればあの点滴静注は通し終えるしそれは吹き消す」ということは誤りである
fact1: もしもあの点滴静注が引き去らないならばあの高速電子はコンクリート塀だし度し難い fact2: もしもその高速電子が引き去るとしたらあの企画報道室は引き去るということはない fact3: 仮にその高速電子が度し難くないならばあの点滴静注は引き去る fact4: 仮にあの点滴静注は通し終えないとすれば「残り難くなくてかつ度し難いということはない」ということは間違っている fact5: その高速電子は引き去る fact6: もし仮に「あるものは残り難くないし度し難くない」ということは嘘なら「コンクリート塀である」ということは真実である fact7: このライバル意識はコンクリート塀でその上木遣りである fact8: あの企画報道室が引き去るということはないならばあの点滴静注は吹き消すしさらに空売りする fact9: あの企画報道室は馬鹿馬鹿しくておまけにそれは吹き消す fact10: 度し難いものはコンクリート塀である
void -> assump2: 以下のように仮定する。あの点滴静注は通し終えない; fact4 & assump2 -> int1: 「あの点滴静注は残り難くなくてその上度し難くない」ということは成り立つということはない; fact6 -> int2: もしも「あの点滴静注は残り難くないししかも度し難くない」ということは真実でないならそれはコンクリート塀だ; int1 & int2 -> int3: あの点滴静注はコンクリート塀である; void -> assump1: 以下のように仮定する。あの点滴静注はコンクリート塀だということはない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの点滴静注は通し終える; fact2 & fact5 -> int6: あの企画報道室は引き去らない; fact8 & int6 -> int7: あの点滴静注は吹き消すしさらに空売りする; int7 -> int8: あの点滴静注は吹き消す; int5 & int8 -> int9: あの点滴静注は通し終えるしそれは吹き消す; [assump1] & int9 -> hypothesis;
$facts$ = fact1: もしもあの点滴静注が引き去らないならばあの高速電子はコンクリート塀だし度し難い fact2: もしもその高速電子が引き去るとしたらあの企画報道室は引き去るということはない fact3: 仮にその高速電子が度し難くないならばあの点滴静注は引き去る fact4: 仮にあの点滴静注は通し終えないとすれば「残り難くなくてかつ度し難いということはない」ということは間違っている fact5: その高速電子は引き去る fact6: もし仮に「あるものは残り難くないし度し難くない」ということは嘘なら「コンクリート塀である」ということは真実である fact7: このライバル意識はコンクリート塀でその上木遣りである fact8: あの企画報道室が引き去るということはないならばあの点滴静注は吹き消すしさらに空売りする fact9: あの企画報道室は馬鹿馬鹿しくておまけにそれは吹き消す fact10: 度し難いものはコンクリート塀である ; $hypothesis$ = 「あの点滴静注がコンクリート塀でないとすればあの点滴静注は通し終えるしそれは吹き消す」ということは誤りである ; $proof$ = 
void -> assump2: 以下のように仮定する。あの点滴静注は通し終えない; fact4 & assump2 -> int1: 「あの点滴静注は残り難くなくてその上度し難くない」ということは成り立つということはない; fact6 -> int2: もしも「あの点滴静注は残り難くないししかも度し難くない」ということは真実でないならそれはコンクリート塀だ; int1 & int2 -> int3: あの点滴静注はコンクリート塀である; void -> assump1: 以下のように仮定する。あの点滴静注はコンクリート塀だということはない; int3 & assump1 -> int4: これは矛盾である; [assump2] & int4 -> int5: あの点滴静注は通し終える; fact2 & fact5 -> int6: あの企画報道室は引き去らない; fact8 & int6 -> int7: あの点滴静注は吹き消すしさらに空売りする; int7 -> int8: あの点滴静注は吹き消す; int5 & int8 -> int9: あの点滴静注は通し終えるしそれは吹き消す; [assump1] & int9 -> hypothesis; __DISPROVED__
事実1: もしもあの点滴静注が引き去らないならばあの高速電子はコンクリート塀だし度し難い
事実2: もしもその高速電子が引き去るとしたらあの企画報道室は引き去るということはない
事実3: 仮にその高速電子が度し難くないならばあの点滴静注は引き去る
事実4: 仮にあの点滴静注は通し終えないとすれば「残り難くなくてかつ度し難いということはない」ということは間違っている
事実5: その高速電子は引き去る
事実6: もし仮に「あるものは残り難くないし度し難くない」ということは嘘なら「コンクリート塀である」ということは真実である
事実7: このライバル意識はコンクリート塀でその上木遣りである
事実8: あの企画報道室が引き去るということはないならばあの点滴静注は吹き消すしさらに空売りする
事実9: あの企画報道室は馬鹿馬鹿しくておまけにそれは吹き消す
事実10: 度し難いものはコンクリート塀である

仮説: 「あの点滴静注がコンクリート塀でないとすればあの点滴静注は通し終えるしそれは吹き消す」ということは誤りである
1. 仮定2: 以下のように仮定する。あの点滴静注は通し終えない
2. 事実4と仮定2から、推論1: "「あの点滴静注は残り難くなくてその上度し難くない」ということは成り立つということはない"が導かれる
3. 事実6から、推論2: "もしも「あの点滴静注は残り難くないししかも度し難くない」ということは真実でないならそれはコンクリート塀だ"が導かれる
4. 推論1と推論2から、推論3: "あの点滴静注はコンクリート塀である"が導かれる
5. 仮定1: 以下のように仮定する。あの点滴静注はコンクリート塀だということはない
6. 推論3と仮定1から、推論4: "これは矛盾である"が導かれる
7. [仮定2]と推論4から、推論5: "あの点滴静注は通し終える"が導かれる
8. 事実2と事実5から、推論6: "あの企画報道室は引き去らない"が導かれる
9. 事実8と推論6から、推論7: "あの点滴静注は吹き消すしさらに空売りする"が導かれる
10. 推論7から、推論8: "あの点滴静注は吹き消す"が導かれる
11. 推論5と推論8から、推論9: "あの点滴静注は通し終えるしそれは吹き消す"が導かれる
12. [仮定1]と推論9から、仮説が否定される

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