「「弛み無いということはなくてまた逆戻りしない」ものはある」ということは成り立たない
fact1: 「「この文民は生存し続けない一方で色事師だ」ということは成り立つということはない」ということは事実である fact2: この文民は御預かるということはないとすれば「それは煩くないがしかし英雄視する」ということは誤りだ fact3: すべての物は弛み無くないしかつそれは逆戻りしない fact4: もし仮にあるものは逆戻りしないけれど手厚いならば弛み無くない fact5: 暗くない物は降り懸かるし呪わしい fact6: この浅間建設は湿気易いということはないならば「そのディスカウントは逆戻りするということはないがしかし手厚い」ということは確かだ fact7: 仮にこの文民が久しくないし英雄視しないならばその事項等は暗くない fact8: その事項等が降り懸かるならばあのグラフウィザードボタンは不味くないけど湿気易い fact9: 「とあるものは生存し続けないがしかし色事師である」ということは確かでないならそれは久しくない fact10: 弛み無いということはない物は利用され易くないし追越割り込みでない fact11: 仮に「この文民は煩いということはないがしかしそれは英雄視する」ということは成り立たないとするとそれは英雄視しない fact12: あのサンスクリット語は弛み無くない fact13: 仮にあのグラフウィザードボタンが不味くないけど湿気易いとするとこの浅間建設は湿気易くない
fact3 -> int1: あのサンスクリット語は弛み無くなくておまけにそれは逆戻りしない; int1 -> hypothesis;
「利用され易くないしおまけに追越割り込みであるということはない」ものはある
fact14 -> int2: もしそのディスカウントが弛み無くないとすると利用され易くないしまた追越割り込みでない; fact18 -> int3: 仮にそのディスカウントは逆戻りしないが手厚いとすれば弛み無くない; fact23 -> int4: その事項等が暗いということはないならそれは降り懸かるしおまけにそれは呪わしい; fact17 -> int5: もし「この文民は生存し続けないが色事師である」ということは間違っているならそれは久しくない; int5 & fact15 -> int6: この文民は久しいということはない;
$facts$ = fact1: 「「この文民は生存し続けない一方で色事師だ」ということは成り立つということはない」ということは事実である fact2: この文民は御預かるということはないとすれば「それは煩くないがしかし英雄視する」ということは誤りだ fact3: すべての物は弛み無くないしかつそれは逆戻りしない fact4: もし仮にあるものは逆戻りしないけれど手厚いならば弛み無くない fact5: 暗くない物は降り懸かるし呪わしい fact6: この浅間建設は湿気易いということはないならば「そのディスカウントは逆戻りするということはないがしかし手厚い」ということは確かだ fact7: 仮にこの文民が久しくないし英雄視しないならばその事項等は暗くない fact8: その事項等が降り懸かるならばあのグラフウィザードボタンは不味くないけど湿気易い fact9: 「とあるものは生存し続けないがしかし色事師である」ということは確かでないならそれは久しくない fact10: 弛み無いということはない物は利用され易くないし追越割り込みでない fact11: 仮に「この文民は煩いということはないがしかしそれは英雄視する」ということは成り立たないとするとそれは英雄視しない fact12: あのサンスクリット語は弛み無くない fact13: 仮にあのグラフウィザードボタンが不味くないけど湿気易いとするとこの浅間建設は湿気易くない ; $hypothesis$ = 「「弛み無いということはなくてまた逆戻りしない」ものはある」ということは成り立たない ; $proof$ = 
fact3 -> int1: あのサンスクリット語は弛み無くなくておまけにそれは逆戻りしない; int1 -> hypothesis; __DISPROVED__
事実1: 「「この文民は生存し続けない一方で色事師だ」ということは成り立つということはない」ということは事実である
事実2: この文民は御預かるということはないとすれば「それは煩くないがしかし英雄視する」ということは誤りだ
事実3: すべての物は弛み無くないしかつそれは逆戻りしない
事実4: もし仮にあるものは逆戻りしないけれど手厚いならば弛み無くない
事実5: 暗くない物は降り懸かるし呪わしい
事実6: この浅間建設は湿気易いということはないならば「そのディスカウントは逆戻りするということはないがしかし手厚い」ということは確かだ
事実7: 仮にこの文民が久しくないし英雄視しないならばその事項等は暗くない
事実8: その事項等が降り懸かるならばあのグラフウィザードボタンは不味くないけど湿気易い
事実9: 「とあるものは生存し続けないがしかし色事師である」ということは確かでないならそれは久しくない
事実10: 弛み無いということはない物は利用され易くないし追越割り込みでない
事実11: 仮に「この文民は煩いということはないがしかしそれは英雄視する」ということは成り立たないとするとそれは英雄視しない
事実12: あのサンスクリット語は弛み無くない
事実13: 仮にあのグラフウィザードボタンが不味くないけど湿気易いとするとこの浅間建設は湿気易くない

仮説: 「「弛み無いということはなくてまた逆戻りしない」ものはある」ということは成り立たない
1. 事実3から、推論1: "あのサンスクリット語は弛み無くなくておまけにそれは逆戻りしない"が導かれる
2. 推論1から、仮説が否定される

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