「このデータグラムソケットは形成し易い」ということは正しい
fact1: もし「このデータグラムソケットは販売しなくてしかも出席しない」ということは真実でないならあのバーンアウトスコアは形成し易くない fact2: もしなんらかの物がでっかくないとしたら形成し易いしおまけに寛げる fact3: 「あのバーンアウトスコアは出席しないけれどそれは販売する」ということは成り立つということはない fact4: 「あのバーンアウトスコアは寛げない」ということは間違っていない fact5: もしも「何らかの物は形成し易くて加えて寛げる」ということは嘘であるならばそれは販売しない fact6: もしあのバーンアウトスコアは寛げないとすると「それは出席するということはないが販売する」ということは誤りである fact7: あのバーンアウトスコアは透徹しない fact8: 仮に「このデータグラムソケットは寛げなくて更に形成し易いということはない」ということは事実と異なるならあのバーンアウトスコアは販売しない fact9: もし「「このデータグラムソケットは出席しないし更に寛げるということはない」ということは成り立つ」ということは成り立たないとすればあのバーンアウトスコアは形成し易いということはない fact10: 「このパンチャカルマは出席しない」ということは真実だ fact11: 「あのバーンアウトスコアは出席しなくて販売するということはない」ということは誤りであるならばこのデータグラムソケットは形成し易くない fact12: もしもあのバーンアウトスコアは寛げるということはないとすれば「それは出席しなくてしかも販売しない」ということは嘘だ fact13: あのバーンアウトスコアは形成し易いということはない fact14: もしもこのデータグラムソケットは販売しないとすれば「「それは出席しなくてかつ形成し易くない」ということは成り立つ」ということは間違いである fact15: あのバーンアウトスコアが販売するとすればあのデータグラムソケットは形成し易いということはない fact16: 仮に「あのバーンアウトスコアは出席しなくてそれは形成し易くない」ということは誤っているとすればあのデータグラムソケットは寛げない fact17: 「「あのバーンアウトスコアは形成し易くないしさらに販売しない」ということは間違っている」ということは確かであるとするとこのデータグラムソケットは寛げない
fact12 & fact4 -> int1: 「「あのバーンアウトスコアは出席しないし加えてそれは販売しない」ということは嘘でない」ということは成り立つということはない; int1 & fact11 -> hypothesis;
あの不感症は販売しない
fact18 -> int2: 仮に「あのバーンアウトスコアは形成し易いし寛げる」ということは間違っているならそれは販売しない;
$facts$ = fact1: もし「このデータグラムソケットは販売しなくてしかも出席しない」ということは真実でないならあのバーンアウトスコアは形成し易くない fact2: もしなんらかの物がでっかくないとしたら形成し易いしおまけに寛げる fact3: 「あのバーンアウトスコアは出席しないけれどそれは販売する」ということは成り立つということはない fact4: 「あのバーンアウトスコアは寛げない」ということは間違っていない fact5: もしも「何らかの物は形成し易くて加えて寛げる」ということは嘘であるならばそれは販売しない fact6: もしあのバーンアウトスコアは寛げないとすると「それは出席するということはないが販売する」ということは誤りである fact7: あのバーンアウトスコアは透徹しない fact8: 仮に「このデータグラムソケットは寛げなくて更に形成し易いということはない」ということは事実と異なるならあのバーンアウトスコアは販売しない fact9: もし「「このデータグラムソケットは出席しないし更に寛げるということはない」ということは成り立つ」ということは成り立たないとすればあのバーンアウトスコアは形成し易いということはない fact10: 「このパンチャカルマは出席しない」ということは真実だ fact11: 「あのバーンアウトスコアは出席しなくて販売するということはない」ということは誤りであるならばこのデータグラムソケットは形成し易くない fact12: もしもあのバーンアウトスコアは寛げるということはないとすれば「それは出席しなくてしかも販売しない」ということは嘘だ fact13: あのバーンアウトスコアは形成し易いということはない fact14: もしもこのデータグラムソケットは販売しないとすれば「「それは出席しなくてかつ形成し易くない」ということは成り立つ」ということは間違いである fact15: あのバーンアウトスコアが販売するとすればあのデータグラムソケットは形成し易いということはない fact16: 仮に「あのバーンアウトスコアは出席しなくてそれは形成し易くない」ということは誤っているとすればあのデータグラムソケットは寛げない fact17: 「「あのバーンアウトスコアは形成し易くないしさらに販売しない」ということは間違っている」ということは確かであるとするとこのデータグラムソケットは寛げない ; $hypothesis$ = 「このデータグラムソケットは形成し易い」ということは正しい ; $proof$ = 
fact12 & fact4 -> int1: 「「あのバーンアウトスコアは出席しないし加えてそれは販売しない」ということは嘘でない」ということは成り立つということはない; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: もし「このデータグラムソケットは販売しなくてしかも出席しない」ということは真実でないならあのバーンアウトスコアは形成し易くない
事実2: もしなんらかの物がでっかくないとしたら形成し易いしおまけに寛げる
事実3: 「あのバーンアウトスコアは出席しないけれどそれは販売する」ということは成り立つということはない
事実4: 「あのバーンアウトスコアは寛げない」ということは間違っていない
事実5: もしも「何らかの物は形成し易くて加えて寛げる」ということは嘘であるならばそれは販売しない
事実6: もしあのバーンアウトスコアは寛げないとすると「それは出席するということはないが販売する」ということは誤りである
事実7: あのバーンアウトスコアは透徹しない
事実8: 仮に「このデータグラムソケットは寛げなくて更に形成し易いということはない」ということは事実と異なるならあのバーンアウトスコアは販売しない
事実9: もし「「このデータグラムソケットは出席しないし更に寛げるということはない」ということは成り立つ」ということは成り立たないとすればあのバーンアウトスコアは形成し易いということはない
事実10: 「このパンチャカルマは出席しない」ということは真実だ
事実11: 「あのバーンアウトスコアは出席しなくて販売するということはない」ということは誤りであるならばこのデータグラムソケットは形成し易くない
事実12: もしもあのバーンアウトスコアは寛げるということはないとすれば「それは出席しなくてしかも販売しない」ということは嘘だ
事実13: あのバーンアウトスコアは形成し易いということはない
事実14: もしもこのデータグラムソケットは販売しないとすれば「「それは出席しなくてかつ形成し易くない」ということは成り立つ」ということは間違いである
事実15: あのバーンアウトスコアが販売するとすればあのデータグラムソケットは形成し易いということはない
事実16: 仮に「あのバーンアウトスコアは出席しなくてそれは形成し易くない」ということは誤っているとすればあのデータグラムソケットは寛げない
事実17: 「「あのバーンアウトスコアは形成し易くないしさらに販売しない」ということは間違っている」ということは確かであるとするとこのデータグラムソケットは寛げない

仮説: 「このデータグラムソケットは形成し易い」ということは正しい
1. 事実12と事実4から、推論1: "「「あのバーンアウトスコアは出席しないし加えてそれは販売しない」ということは嘘でない」ということは成り立つということはない"が導かれる
2. 推論1と事実11から、仮説が否定される

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