「「疑り深いかあるいは排便するかどちらもな」ものはある」ということは偽だ
fact1: このアングロサクソン型経済システムは各レベルである fact2: このアングロサクソン型経済システムは排便するかまたは寄生するかあるいは両方だ fact3: この同化作用は第一次産業である fact4: このアングロサクソン型経済システムはすげなくない fact5: このアングロサクソン型経済システムは電話加入権でない fact6: このスリークオータースイングは排便するということはない fact7: 仮になにかは各隊であるということはない一方で出力であるとすればそれは払い戻す fact8: もしなにかは電話加入権でない一方で各レベルだとするとそれは疑り深い fact9: 仮にこの各国公使館は単純過ぎないが高発現するとしたら「それは安土桃山である」ということは正しい fact10: もし「なにかは疑り深いししかも各レベルだ」ということは間違いだとするとそれは疑り深くない fact11: なにかは燻煙であるかまたは免除であるかもしくは両方ともである fact12: あの計算練習は各レベルだということはない fact13: もしもこのアングロサクソン型経済システムは安住するということはないけど単純過ぎれば疑り深い
fact5 & fact1 -> int1: このアングロサクソン型経済システムは電話加入権でないがそれは各レベルである; fact8 -> int2: もしこのアングロサクソン型経済システムは電話加入権でないが各レベルであるとすると疑り深い; int1 & int2 -> int3: このアングロサクソン型経済システムは疑り深い; int3 -> int4: このアングロサクソン型経済システムは疑り深いかあるいはそれは排便するかあるいはどちらもである; int4 -> hypothesis;
このセンサは疑り深くない
fact14 -> int5: 仮に「「このセンサは疑り深くて各レベルである」ということは誤りだ」ということは成り立つとすると疑り深くない;
$facts$ = fact1: このアングロサクソン型経済システムは各レベルである fact2: このアングロサクソン型経済システムは排便するかまたは寄生するかあるいは両方だ fact3: この同化作用は第一次産業である fact4: このアングロサクソン型経済システムはすげなくない fact5: このアングロサクソン型経済システムは電話加入権でない fact6: このスリークオータースイングは排便するということはない fact7: 仮になにかは各隊であるということはない一方で出力であるとすればそれは払い戻す fact8: もしなにかは電話加入権でない一方で各レベルだとするとそれは疑り深い fact9: 仮にこの各国公使館は単純過ぎないが高発現するとしたら「それは安土桃山である」ということは正しい fact10: もし「なにかは疑り深いししかも各レベルだ」ということは間違いだとするとそれは疑り深くない fact11: なにかは燻煙であるかまたは免除であるかもしくは両方ともである fact12: あの計算練習は各レベルだということはない fact13: もしもこのアングロサクソン型経済システムは安住するということはないけど単純過ぎれば疑り深い ; $hypothesis$ = 「「疑り深いかあるいは排便するかどちらもな」ものはある」ということは偽だ ; $proof$ = 
fact5 & fact1 -> int1: このアングロサクソン型経済システムは電話加入権でないがそれは各レベルである; fact8 -> int2: もしこのアングロサクソン型経済システムは電話加入権でないが各レベルであるとすると疑り深い; int1 & int2 -> int3: このアングロサクソン型経済システムは疑り深い; int3 -> int4: このアングロサクソン型経済システムは疑り深いかあるいはそれは排便するかあるいはどちらもである; int4 -> hypothesis; __DISPROVED__
事実1: このアングロサクソン型経済システムは各レベルである
事実2: このアングロサクソン型経済システムは排便するかまたは寄生するかあるいは両方だ
事実3: この同化作用は第一次産業である
事実4: このアングロサクソン型経済システムはすげなくない
事実5: このアングロサクソン型経済システムは電話加入権でない
事実6: このスリークオータースイングは排便するということはない
事実7: 仮になにかは各隊であるということはない一方で出力であるとすればそれは払い戻す
事実8: もしなにかは電話加入権でない一方で各レベルだとするとそれは疑り深い
事実9: 仮にこの各国公使館は単純過ぎないが高発現するとしたら「それは安土桃山である」ということは正しい
事実10: もし「なにかは疑り深いししかも各レベルだ」ということは間違いだとするとそれは疑り深くない
事実11: なにかは燻煙であるかまたは免除であるかもしくは両方ともである
事実12: あの計算練習は各レベルだということはない
事実13: もしもこのアングロサクソン型経済システムは安住するということはないけど単純過ぎれば疑り深い

仮説: 「「疑り深いかあるいは排便するかどちらもな」ものはある」ということは偽だ
1. 事実5と事実1から、推論1: "このアングロサクソン型経済システムは電話加入権でないがそれは各レベルである"が導かれる
2. 事実8から、推論2: "もしこのアングロサクソン型経済システムは電話加入権でないが各レベルであるとすると疑り深い"が導かれる
3. 推論1と推論2から、推論3: "このアングロサクソン型経済システムは疑り深い"が導かれる
4. 推論3から、推論4: "このアングロサクソン型経済システムは疑り深いかあるいはそれは排便するかあるいはどちらもである"が導かれる
5. 推論4から、仮説が否定される

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