その分周器はピースワークしない一方でノーザンテーストである
fact1: 仮に「あのスウッシュはピースワークしない」ということは確かであるとすれば「その分周器はピースワークしないけどノーザンテーストである」ということは間違いである fact2: 幕末維新はピースワークしないがノーザンテーストである fact3: 仮にあのエンドラインが歓談するしさらにそれがちっちゃいとしたらその最小はちっちゃくない fact4: なにかは幕末維新であるならば「逆流するけれど合名・合資会社でない」ということは事実と異なる fact5: 仮にあのエンドラインはオフィシャルサイトであるということはないとするとそれは隙間無くて直り難い fact6: あるものはノーザンテーストでないなら歓談するしそれにちっちゃい fact7: あの大阪周辺は幕末維新だしちっちゃい fact8: あのエンドラインは隙間無いとすれば「その最小は歓談しないけれどちっちゃい」ということは誤っている fact9: もし「「その最小は歓談しないけどそれはちっちゃい」ということは成り立たない」ということは真実であるならばあのスウッシュはちっちゃくない fact10: 「その分周器は合名・合資会社であるしおまけにピースワークする」ということは偽である fact11: 「あの大阪周辺は逆流するけどそれは合名・合資会社でない」ということは成り立たないとするとあのスウッシュはピースワークするということはない
fact4 -> int1: もしもあの大阪周辺は幕末維新なら「逆流するけど合名・合資会社であるということはない」ということは成り立たない; fact7 -> int2: あの大阪周辺は幕末維新である; int1 & int2 -> int3: 「あの大阪周辺は逆流するけれど合名・合資会社だということはない」ということは事実でない; int3 & fact11 -> int4: あのスウッシュはピースワークするということはない; int4 & fact1 -> hypothesis;
その分周器はピースワークしないけれどノーザンテーストである
fact14 -> int5: 仮にその分周器が幕末維新だとするとそれがピースワークしないしさらにノーザンテーストである;
$facts$ = fact1: 仮に「あのスウッシュはピースワークしない」ということは確かであるとすれば「その分周器はピースワークしないけどノーザンテーストである」ということは間違いである fact2: 幕末維新はピースワークしないがノーザンテーストである fact3: 仮にあのエンドラインが歓談するしさらにそれがちっちゃいとしたらその最小はちっちゃくない fact4: なにかは幕末維新であるならば「逆流するけれど合名・合資会社でない」ということは事実と異なる fact5: 仮にあのエンドラインはオフィシャルサイトであるということはないとするとそれは隙間無くて直り難い fact6: あるものはノーザンテーストでないなら歓談するしそれにちっちゃい fact7: あの大阪周辺は幕末維新だしちっちゃい fact8: あのエンドラインは隙間無いとすれば「その最小は歓談しないけれどちっちゃい」ということは誤っている fact9: もし「「その最小は歓談しないけどそれはちっちゃい」ということは成り立たない」ということは真実であるならばあのスウッシュはちっちゃくない fact10: 「その分周器は合名・合資会社であるしおまけにピースワークする」ということは偽である fact11: 「あの大阪周辺は逆流するけどそれは合名・合資会社でない」ということは成り立たないとするとあのスウッシュはピースワークするということはない ; $hypothesis$ = その分周器はピースワークしない一方でノーザンテーストである ; $proof$ = 
fact4 -> int1: もしもあの大阪周辺は幕末維新なら「逆流するけど合名・合資会社であるということはない」ということは成り立たない; fact7 -> int2: あの大阪周辺は幕末維新である; int1 & int2 -> int3: 「あの大阪周辺は逆流するけれど合名・合資会社だということはない」ということは事実でない; int3 & fact11 -> int4: あのスウッシュはピースワークするということはない; int4 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮に「あのスウッシュはピースワークしない」ということは確かであるとすれば「その分周器はピースワークしないけどノーザンテーストである」ということは間違いである
事実2: 幕末維新はピースワークしないがノーザンテーストである
事実3: 仮にあのエンドラインが歓談するしさらにそれがちっちゃいとしたらその最小はちっちゃくない
事実4: なにかは幕末維新であるならば「逆流するけれど合名・合資会社でない」ということは事実と異なる
事実5: 仮にあのエンドラインはオフィシャルサイトであるということはないとするとそれは隙間無くて直り難い
事実6: あるものはノーザンテーストでないなら歓談するしそれにちっちゃい
事実7: あの大阪周辺は幕末維新だしちっちゃい
事実8: あのエンドラインは隙間無いとすれば「その最小は歓談しないけれどちっちゃい」ということは誤っている
事実9: もし「「その最小は歓談しないけどそれはちっちゃい」ということは成り立たない」ということは真実であるならばあのスウッシュはちっちゃくない
事実10: 「その分周器は合名・合資会社であるしおまけにピースワークする」ということは偽である
事実11: 「あの大阪周辺は逆流するけどそれは合名・合資会社でない」ということは成り立たないとするとあのスウッシュはピースワークするということはない

仮説: その分周器はピースワークしない一方でノーザンテーストである
1. 事実4から、推論1: "もしもあの大阪周辺は幕末維新なら「逆流するけど合名・合資会社であるということはない」ということは成り立たない"が導かれる
2. 事実7から、推論2: "あの大阪周辺は幕末維新である"が導かれる
3. 推論1と推論2から、推論3: "「あの大阪周辺は逆流するけれど合名・合資会社だということはない」ということは事実でない"が導かれる
4. 推論3と事実11から、推論4: "あのスウッシュはピースワークするということはない"が導かれる
5. 推論4と事実1から、仮説が否定される

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