そのオペレッタは密会する
fact1: もしも「あのシミュレーション技法は書き殴るということはない」ということは本当だとすれば「そのオペレッタは密会しなくて説き起こさない」ということは誤りだ fact2: 危うい物は口煩い fact3: あのシミュレーション技法は説き起こす fact4: その百五十六号線は書き殴る fact5: そのオペレッタは書き殴る fact6: もし何らかのものは密会するしさらに書き殴るとすると「あのシミュレーション技法は説き起こさない」ということは事実だ fact7: あの私達人類は説き起こす
void -> assump1: 以下のように仮定する。そのオペレッタは密会する; assump1 & fact5 -> int1: そのオペレッタは密会するし書き殴る; int1 -> int2: 「密会するし更に書き殴る」ものはある; int2 & fact6 -> int3: あのシミュレーション技法は説き起こさない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis;
「その反転は密会する」ということは本当だ
fact9 -> int5: 仮にその超能力が危ういなら口煩い;
$facts$ = fact1: もしも「あのシミュレーション技法は書き殴るということはない」ということは本当だとすれば「そのオペレッタは密会しなくて説き起こさない」ということは誤りだ fact2: 危うい物は口煩い fact3: あのシミュレーション技法は説き起こす fact4: その百五十六号線は書き殴る fact5: そのオペレッタは書き殴る fact6: もし何らかのものは密会するしさらに書き殴るとすると「あのシミュレーション技法は説き起こさない」ということは事実だ fact7: あの私達人類は説き起こす ; $hypothesis$ = そのオペレッタは密会する ; $proof$ = 
void -> assump1: 以下のように仮定する。そのオペレッタは密会する; assump1 & fact5 -> int1: そのオペレッタは密会するし書き殴る; int1 -> int2: 「密会するし更に書き殴る」ものはある; int2 & fact6 -> int3: あのシミュレーション技法は説き起こさない; int3 & fact3 -> int4: これは矛盾である; [assump1] & int4 -> hypothesis; __DISPROVED__
事実1: もしも「あのシミュレーション技法は書き殴るということはない」ということは本当だとすれば「そのオペレッタは密会しなくて説き起こさない」ということは誤りだ
事実2: 危うい物は口煩い
事実3: あのシミュレーション技法は説き起こす
事実4: その百五十六号線は書き殴る
事実5: そのオペレッタは書き殴る
事実6: もし何らかのものは密会するしさらに書き殴るとすると「あのシミュレーション技法は説き起こさない」ということは事実だ
事実7: あの私達人類は説き起こす

仮説: そのオペレッタは密会する
1. 仮定1: 以下のように仮定する。そのオペレッタは密会する
2. 仮定1と事実5から、推論1: "そのオペレッタは密会するし書き殴る"が導かれる
3. 推論1から、推論2: "「密会するし更に書き殴る」ものはある"が導かれる
4. 推論2と事実6から、推論3: "あのシミュレーション技法は説き起こさない"が導かれる
5. 推論3と事実3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、仮説が否定される

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