「「もしも間違い易くないとすると「実行ファイルだがしかしねちっこくない」ということは誤っている」ものはある」ということは嘘だ
fact1: 「間違い易くないとしたら「実行ファイルだしねちっこい」ということは間違いである」ものはある fact2: 「もし仮に中期予測ケースでないとすれば「少数点以下だけれど小狡くない」ということは間違いである」ものはある fact3: もし仮に「この視界狭小は間違い易くない」ということは間違っているとすれば「実行ファイルだしかつそれはねちっこくない」ということは成り立たない fact4: もしもこの視界狭小は間違い易くないとすると「実行ファイルであるがねちっこいということはない」ということは成り立たない fact5: もし仮にこの視界狭小が間違い易くないとしたらそれは実行ファイルでそれはねちっこくない fact6: 「もしも応酬でないとしたら「確信するが拒み続けない」ということは嘘な」物はある fact7: 「「間違い易い」ということは成り立たないとすると実行ファイルであるしその上ねちっこくない」ものはある fact8: 「もし仮に御疲れでないとすると「深しし際限無いということはない」ということは事実と異なる」物はある fact9: もし仮にとあるものは爆ぜるということはないとすれば「それは見出しセルだがしかし着易くない」ということは事実と異なる fact10: 「もし仮にそそっかしくないならば「「素早いし生まれ変わらない」ということは真実だ」ということは成り立たない」物はある fact11: 「焼け窶れないとすれば「御疲れだけど踏み殺さない」ということは事実だということはない」ものはある fact12: もしこの視界狭小は汚らしいということはないとすれば「個性だけど濡れ光らない」ということは誤っている fact13: この視界狭小は間違い易くないとすれば「実行ファイルだしそれにねちっこい」ということは誤りだ fact14: 「もし母子でないならば「用地であるし飛び交わない」ということは成り立つということはない」ものはある fact15: 「仮に間違い易いならば「実行ファイルだ一方でねちっこくない」ということは成り立たない」ものはある
fact4 -> hypothesis;
fact4 -> hypothesis;
この名作は爆ぜるということはないなら「見出しセルであるしさらに着易くない」ということは事実と異なる
fact16 -> hypothesis;
$facts$ = fact1: 「間違い易くないとしたら「実行ファイルだしねちっこい」ということは間違いである」ものはある fact2: 「もし仮に中期予測ケースでないとすれば「少数点以下だけれど小狡くない」ということは間違いである」ものはある fact3: もし仮に「この視界狭小は間違い易くない」ということは間違っているとすれば「実行ファイルだしかつそれはねちっこくない」ということは成り立たない fact4: もしもこの視界狭小は間違い易くないとすると「実行ファイルであるがねちっこいということはない」ということは成り立たない fact5: もし仮にこの視界狭小が間違い易くないとしたらそれは実行ファイルでそれはねちっこくない fact6: 「もしも応酬でないとしたら「確信するが拒み続けない」ということは嘘な」物はある fact7: 「「間違い易い」ということは成り立たないとすると実行ファイルであるしその上ねちっこくない」ものはある fact8: 「もし仮に御疲れでないとすると「深しし際限無いということはない」ということは事実と異なる」物はある fact9: もし仮にとあるものは爆ぜるということはないとすれば「それは見出しセルだがしかし着易くない」ということは事実と異なる fact10: 「もし仮にそそっかしくないならば「「素早いし生まれ変わらない」ということは真実だ」ということは成り立たない」物はある fact11: 「焼け窶れないとすれば「御疲れだけど踏み殺さない」ということは事実だということはない」ものはある fact12: もしこの視界狭小は汚らしいということはないとすれば「個性だけど濡れ光らない」ということは誤っている fact13: この視界狭小は間違い易くないとすれば「実行ファイルだしそれにねちっこい」ということは誤りだ fact14: 「もし母子でないならば「用地であるし飛び交わない」ということは成り立つということはない」ものはある fact15: 「仮に間違い易いならば「実行ファイルだ一方でねちっこくない」ということは成り立たない」ものはある ; $hypothesis$ = 「「もしも間違い易くないとすると「実行ファイルだがしかしねちっこくない」ということは誤っている」ものはある」ということは嘘だ ; $proof$ = 
fact4 -> hypothesis; __DISPROVED__
事実1: 「間違い易くないとしたら「実行ファイルだしねちっこい」ということは間違いである」ものはある
事実2: 「もし仮に中期予測ケースでないとすれば「少数点以下だけれど小狡くない」ということは間違いである」ものはある
事実3: もし仮に「この視界狭小は間違い易くない」ということは間違っているとすれば「実行ファイルだしかつそれはねちっこくない」ということは成り立たない
事実4: もしもこの視界狭小は間違い易くないとすると「実行ファイルであるがねちっこいということはない」ということは成り立たない
事実5: もし仮にこの視界狭小が間違い易くないとしたらそれは実行ファイルでそれはねちっこくない
事実6: 「もしも応酬でないとしたら「確信するが拒み続けない」ということは嘘な」物はある
事実7: 「「間違い易い」ということは成り立たないとすると実行ファイルであるしその上ねちっこくない」ものはある
事実8: 「もし仮に御疲れでないとすると「深しし際限無いということはない」ということは事実と異なる」物はある
事実9: もし仮にとあるものは爆ぜるということはないとすれば「それは見出しセルだがしかし着易くない」ということは事実と異なる
事実10: 「もし仮にそそっかしくないならば「「素早いし生まれ変わらない」ということは真実だ」ということは成り立たない」物はある
事実11: 「焼け窶れないとすれば「御疲れだけど踏み殺さない」ということは事実だということはない」ものはある
事実12: もしこの視界狭小は汚らしいということはないとすれば「個性だけど濡れ光らない」ということは誤っている
事実13: この視界狭小は間違い易くないとすれば「実行ファイルだしそれにねちっこい」ということは誤りだ
事実14: 「もし母子でないならば「用地であるし飛び交わない」ということは成り立つということはない」ものはある
事実15: 「仮に間違い易いならば「実行ファイルだ一方でねちっこくない」ということは成り立たない」ものはある

仮説: 「「もしも間違い易くないとすると「実行ファイルだがしかしねちっこくない」ということは誤っている」ものはある」ということは嘘だ
1. 事実4から、仮説が否定される

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