「「もし仮に理解し易くないとしたら「来校するということはないし加えて後ろ暗い」ということは成り立たない」ものはある」ということは間違いだ
fact1: あの形通りがダルダル君ならこの駆動トルクは足長でない fact2: もしも何らかのものは民主主義社会であるとすればそれはダルダル君だ fact3: 「もし万端でないなら有するということはなくてしかも溢れ続ける」物はある fact4: この性的行為は後ろ暗い fact5: もし「そのグレーディド形光ファイバは理解し易くないしコリアン味でない」ということは成り立たないとすると「この性的行為はマルク・ブロックだ」ということは偽であるということはない fact6: もし仮にこの性的行為はマルク・ブロックだとしたら「接近し易くないけれど渡す」ということは事実と異なる fact7: なにがしかの物は来校しないけど後ろ暗いならそれは理解し易い fact8: もしもなにがしかのものが身悶えしないとしたら民主主義社会だしかつそれは容認出来る
fact7 -> int1: もしもこの性的行為は来校しないがしかし後ろ暗いとしたら理解し易い; void -> assump1: 以下のように仮定する。この性的行為は来校しないが後ろ暗い; int1 & assump1 -> int2: 「この性的行為は理解し易い」ということは正しい; void -> assump2: 以下のように仮定する。この性的行為は理解し易くない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この性的行為は来校しないけれど後ろ暗い」ということは成り立たない; [assump2] & int4 -> int5: もしこの性的行為は理解し易くないとすると「来校するということはない一方で後ろ暗い」ということは成り立つということはない; int5 -> hypothesis;
「この性的行為は接近し易くないがそれは渡す」ということは確かでない
fact11 -> int6: 仮にあの形通りが民主主義社会ならばダルダル君だ; fact13 -> int7: 仮にあの形通りが身悶えしないとすればそれは民主主義社会であるししかも容認出来る;
$facts$ = fact1: あの形通りがダルダル君ならこの駆動トルクは足長でない fact2: もしも何らかのものは民主主義社会であるとすればそれはダルダル君だ fact3: 「もし万端でないなら有するということはなくてしかも溢れ続ける」物はある fact4: この性的行為は後ろ暗い fact5: もし「そのグレーディド形光ファイバは理解し易くないしコリアン味でない」ということは成り立たないとすると「この性的行為はマルク・ブロックだ」ということは偽であるということはない fact6: もし仮にこの性的行為はマルク・ブロックだとしたら「接近し易くないけれど渡す」ということは事実と異なる fact7: なにがしかの物は来校しないけど後ろ暗いならそれは理解し易い fact8: もしもなにがしかのものが身悶えしないとしたら民主主義社会だしかつそれは容認出来る ; $hypothesis$ = 「「もし仮に理解し易くないとしたら「来校するということはないし加えて後ろ暗い」ということは成り立たない」ものはある」ということは間違いだ ; $proof$ = 
fact7 -> int1: もしもこの性的行為は来校しないがしかし後ろ暗いとしたら理解し易い; void -> assump1: 以下のように仮定する。この性的行為は来校しないが後ろ暗い; int1 & assump1 -> int2: 「この性的行為は理解し易い」ということは正しい; void -> assump2: 以下のように仮定する。この性的行為は理解し易くない; int2 & assump2 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「この性的行為は来校しないけれど後ろ暗い」ということは成り立たない; [assump2] & int4 -> int5: もしこの性的行為は理解し易くないとすると「来校するということはない一方で後ろ暗い」ということは成り立つということはない; int5 -> hypothesis; __DISPROVED__
事実1: あの形通りがダルダル君ならこの駆動トルクは足長でない
事実2: もしも何らかのものは民主主義社会であるとすればそれはダルダル君だ
事実3: 「もし万端でないなら有するということはなくてしかも溢れ続ける」物はある
事実4: この性的行為は後ろ暗い
事実5: もし「そのグレーディド形光ファイバは理解し易くないしコリアン味でない」ということは成り立たないとすると「この性的行為はマルク・ブロックだ」ということは偽であるということはない
事実6: もし仮にこの性的行為はマルク・ブロックだとしたら「接近し易くないけれど渡す」ということは事実と異なる
事実7: なにがしかの物は来校しないけど後ろ暗いならそれは理解し易い
事実8: もしもなにがしかのものが身悶えしないとしたら民主主義社会だしかつそれは容認出来る

仮説: 「「もし仮に理解し易くないとしたら「来校するということはないし加えて後ろ暗い」ということは成り立たない」ものはある」ということは間違いだ
1. 事実7から、推論1: "もしもこの性的行為は来校しないがしかし後ろ暗いとしたら理解し易い"が導かれる
2. 仮定1: 以下のように仮定する。この性的行為は来校しないが後ろ暗い
3. 推論1と仮定1から、推論2: "「この性的行為は理解し易い」ということは正しい"が導かれる
4. 仮定2: 以下のように仮定する。この性的行為は理解し易くない
5. 推論2と仮定2から、推論3: "これは矛盾である"が導かれる
6. [仮定1]と推論3から、推論4: "「この性的行為は来校しないけれど後ろ暗い」ということは成り立たない"が導かれる
7. [仮定2]と推論4から、推論5: "もしこの性的行為は理解し易くないとすると「来校するということはない一方で後ろ暗い」ということは成り立つということはない"が導かれる
8. 推論5から、仮説が否定される

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