その標準サイズは三億六千万双をしない
fact1: もし仮に何かは商人らしくないならば堅持するということはない fact2: 「その標準サイズは束糸であるけどそれはブルドーザでない」ということは成り立たない fact3: もしその高段者は読み通さないとすると「その標準サイズは束糸でないししかもブルドーザでない」ということは嘘だ fact4: 「その高段者は吹き荒れないが束糸だ」ということは誤りである fact5: 「その高段者は堅持するし商人らしい」ということは嘘である fact6: 仮にこの今世紀美術画廊がブルドーザでないがしかしそれが調節し易いならその高段者はブルドーザだ fact7: 「「あのマーロックスは堅持しないけど束糸である」ということは成り立たない」ということは確かだ fact8: あるものが吹き荒れないとすると読み通さない fact9: もしも「あるものは商人らしいししかもそれは吹き荒れる」ということは成り立つということはないとしたら読み通すということはない fact10: もし「あるものは形容し難くないししかもそれは飽和しない」ということは成り立つということはないとしたら「それはアミン系神経系でない」ということは真実だ fact11: その高段者は三億六千万双をしない fact12: 「なにかはカジュアル化するし形容し難い」ということは成り立たないとするとそれは乗り難くない fact13: もし仮にあのマーロックスは堅持しないとすれば「その高段者は商人らしいしその上吹き荒れる」ということは成り立たない fact14: 「その標準サイズは伸び易いししかもカジュアル化する」ということは事実と異なるならそれは得するということはない fact15: 「その高段者は三億六千万双をしない」ということは事実であるとすると「「その標準サイズが吹き荒れるしその上それは商人らしい」ということは確かである」ということは成り立たない fact16: 形容し難い物は満遍無くない fact17: あのマーロックスは堅持しない fact18: もし仮にその高段者が吹き荒れるということはないなら読み通すということはない fact19: あの滌除金額は堅持しない fact20: その高段者がブルドーザならばあのマーロックスは堅持するが読み通さない fact21: もしその高段者は吹き荒れないとすると「その標準サイズは商人らしくないしそれは束糸でない」ということは間違っている fact22: 「その高段者はブルドーザでなくてその上それは吹き荒れない」ということは成り立たない fact23: もし「なにがしかの物は束糸でなくてブルドーザでない」ということは嘘であるとするとそれは三億六千万双をしない
fact13 & fact17 -> int1: 「その高段者は商人らしいし加えて吹き荒れる」ということは成り立たない; fact9 -> int2: もし「「その高段者は商人らしいし吹き荒れる」ということは事実だ」ということは成り立たないとしたらそれは読み通さない; int1 & int2 -> int3: その高段者は読み通さない; int3 & fact3 -> int4: 「その標準サイズは束糸でなくてブルドーザでない」ということは成り立たない; fact23 -> int5: 「その標準サイズは束糸でないしおまけにそれはブルドーザでない」ということは事実と異なるならそれは三億六千万双をするということはない; int4 & int5 -> hypothesis;
その標準サイズは三億六千万双をする
$facts$ = fact1: もし仮に何かは商人らしくないならば堅持するということはない fact2: 「その標準サイズは束糸であるけどそれはブルドーザでない」ということは成り立たない fact3: もしその高段者は読み通さないとすると「その標準サイズは束糸でないししかもブルドーザでない」ということは嘘だ fact4: 「その高段者は吹き荒れないが束糸だ」ということは誤りである fact5: 「その高段者は堅持するし商人らしい」ということは嘘である fact6: 仮にこの今世紀美術画廊がブルドーザでないがしかしそれが調節し易いならその高段者はブルドーザだ fact7: 「「あのマーロックスは堅持しないけど束糸である」ということは成り立たない」ということは確かだ fact8: あるものが吹き荒れないとすると読み通さない fact9: もしも「あるものは商人らしいししかもそれは吹き荒れる」ということは成り立つということはないとしたら読み通すということはない fact10: もし「あるものは形容し難くないししかもそれは飽和しない」ということは成り立つということはないとしたら「それはアミン系神経系でない」ということは真実だ fact11: その高段者は三億六千万双をしない fact12: 「なにかはカジュアル化するし形容し難い」ということは成り立たないとするとそれは乗り難くない fact13: もし仮にあのマーロックスは堅持しないとすれば「その高段者は商人らしいしその上吹き荒れる」ということは成り立たない fact14: 「その標準サイズは伸び易いししかもカジュアル化する」ということは事実と異なるならそれは得するということはない fact15: 「その高段者は三億六千万双をしない」ということは事実であるとすると「「その標準サイズが吹き荒れるしその上それは商人らしい」ということは確かである」ということは成り立たない fact16: 形容し難い物は満遍無くない fact17: あのマーロックスは堅持しない fact18: もし仮にその高段者が吹き荒れるということはないなら読み通すということはない fact19: あの滌除金額は堅持しない fact20: その高段者がブルドーザならばあのマーロックスは堅持するが読み通さない fact21: もしその高段者は吹き荒れないとすると「その標準サイズは商人らしくないしそれは束糸でない」ということは間違っている fact22: 「その高段者はブルドーザでなくてその上それは吹き荒れない」ということは成り立たない fact23: もし「なにがしかの物は束糸でなくてブルドーザでない」ということは嘘であるとするとそれは三億六千万双をしない ; $hypothesis$ = その標準サイズは三億六千万双をしない ; $proof$ = 
fact13 & fact17 -> int1: 「その高段者は商人らしいし加えて吹き荒れる」ということは成り立たない; fact9 -> int2: もし「「その高段者は商人らしいし吹き荒れる」ということは事実だ」ということは成り立たないとしたらそれは読み通さない; int1 & int2 -> int3: その高段者は読み通さない; int3 & fact3 -> int4: 「その標準サイズは束糸でなくてブルドーザでない」ということは成り立たない; fact23 -> int5: 「その標準サイズは束糸でないしおまけにそれはブルドーザでない」ということは事実と異なるならそれは三億六千万双をするということはない; int4 & int5 -> hypothesis; __PROVED__
事実1: もし仮に何かは商人らしくないならば堅持するということはない
事実2: 「その標準サイズは束糸であるけどそれはブルドーザでない」ということは成り立たない
事実3: もしその高段者は読み通さないとすると「その標準サイズは束糸でないししかもブルドーザでない」ということは嘘だ
事実4: 「その高段者は吹き荒れないが束糸だ」ということは誤りである
事実5: 「その高段者は堅持するし商人らしい」ということは嘘である
事実6: 仮にこの今世紀美術画廊がブルドーザでないがしかしそれが調節し易いならその高段者はブルドーザだ
事実7: 「「あのマーロックスは堅持しないけど束糸である」ということは成り立たない」ということは確かだ
事実8: あるものが吹き荒れないとすると読み通さない
事実9: もしも「あるものは商人らしいししかもそれは吹き荒れる」ということは成り立つということはないとしたら読み通すということはない
事実10: もし「あるものは形容し難くないししかもそれは飽和しない」ということは成り立つということはないとしたら「それはアミン系神経系でない」ということは真実だ
事実11: その高段者は三億六千万双をしない
事実12: 「なにかはカジュアル化するし形容し難い」ということは成り立たないとするとそれは乗り難くない
事実13: もし仮にあのマーロックスは堅持しないとすれば「その高段者は商人らしいしその上吹き荒れる」ということは成り立たない
事実14: 「その標準サイズは伸び易いししかもカジュアル化する」ということは事実と異なるならそれは得するということはない
事実15: 「その高段者は三億六千万双をしない」ということは事実であるとすると「「その標準サイズが吹き荒れるしその上それは商人らしい」ということは確かである」ということは成り立たない
事実16: 形容し難い物は満遍無くない
事実17: あのマーロックスは堅持しない
事実18: もし仮にその高段者が吹き荒れるということはないなら読み通すということはない
事実19: あの滌除金額は堅持しない
事実20: その高段者がブルドーザならばあのマーロックスは堅持するが読み通さない
事実21: もしその高段者は吹き荒れないとすると「その標準サイズは商人らしくないしそれは束糸でない」ということは間違っている
事実22: 「その高段者はブルドーザでなくてその上それは吹き荒れない」ということは成り立たない
事実23: もし「なにがしかの物は束糸でなくてブルドーザでない」ということは嘘であるとするとそれは三億六千万双をしない

仮説: その標準サイズは三億六千万双をしない
1. 事実13と事実17から、推論1: "「その高段者は商人らしいし加えて吹き荒れる」ということは成り立たない"が導かれる
2. 事実9から、推論2: "もし「「その高段者は商人らしいし吹き荒れる」ということは事実だ」ということは成り立たないとしたらそれは読み通さない"が導かれる
3. 推論1と推論2から、推論3: "その高段者は読み通さない"が導かれる
4. 推論3と事実3から、推論4: "「その標準サイズは束糸でなくてブルドーザでない」ということは成り立たない"が導かれる
5. 事実23から、推論5: "「その標準サイズは束糸でないしおまけにそれはブルドーザでない」ということは事実と異なるならそれは三億六千万双をするということはない"が導かれる
6. 推論4と推論5から、仮説が導かれる

よって、仮説が証明されました。