あの水商売は焼岳でない
fact1: もしもあのＩＳＢＮは大麦なら「この天下国家は賢くないが焼岳である」ということは事実と異なる fact2: それはバケツであるしそれは献呈しないというものはない fact3: もしも測り難い物が馴れ馴れしいということはないとすれば大麦だ fact4: もしも「なんらかの物はバケツであるけれどそれは献呈しない」ということは誤りであるとすると焼岳だ fact5: もし「ある物は賢くない一方で焼岳である」ということは間違っているなら焼岳でない fact6: 仮に何かは焼岳だということはないならば「伝わり難くて更に子供扱いするということはない」ということは成り立たない
fact2 -> int1: 「あの水商売はバケツであるけど献呈しない」ということは確かでない; fact4 -> int2: 「あの水商売がバケツだけどそれは献呈するということはない」ということは誤っているとすればそれは焼岳だ; int1 & int2 -> hypothesis;
「この天下国家は伝わり難い一方でそれは子供扱いしない」ということは成り立たない
fact7 -> int3: もしこの天下国家は焼岳でないなら「それは伝わり難くてそれは子供扱いしない」ということは成り立たない; fact10 -> int4: 「この天下国家は賢いということはない一方で焼岳である」ということは誤りであるとすればそれは焼岳でない; fact9 -> int5: 仮にあのＩＳＢＮが測り難いがしかし馴れ馴れしくないとするとそれは大麦だ;
$facts$ = fact1: もしもあのＩＳＢＮは大麦なら「この天下国家は賢くないが焼岳である」ということは事実と異なる fact2: それはバケツであるしそれは献呈しないというものはない fact3: もしも測り難い物が馴れ馴れしいということはないとすれば大麦だ fact4: もしも「なんらかの物はバケツであるけれどそれは献呈しない」ということは誤りであるとすると焼岳だ fact5: もし「ある物は賢くない一方で焼岳である」ということは間違っているなら焼岳でない fact6: 仮に何かは焼岳だということはないならば「伝わり難くて更に子供扱いするということはない」ということは成り立たない ; $hypothesis$ = あの水商売は焼岳でない ; $proof$ = 
fact2 -> int1: 「あの水商売はバケツであるけど献呈しない」ということは確かでない; fact4 -> int2: 「あの水商売がバケツだけどそれは献呈するということはない」ということは誤っているとすればそれは焼岳だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもあのＩＳＢＮは大麦なら「この天下国家は賢くないが焼岳である」ということは事実と異なる
事実2: それはバケツであるしそれは献呈しないというものはない
事実3: もしも測り難い物が馴れ馴れしいということはないとすれば大麦だ
事実4: もしも「なんらかの物はバケツであるけれどそれは献呈しない」ということは誤りであるとすると焼岳だ
事実5: もし「ある物は賢くない一方で焼岳である」ということは間違っているなら焼岳でない
事実6: 仮に何かは焼岳だということはないならば「伝わり難くて更に子供扱いするということはない」ということは成り立たない

仮説: あの水商売は焼岳でない
1. 事実2から、推論1: "「あの水商売はバケツであるけど献呈しない」ということは確かでない"が導かれる
2. 事実4から、推論2: "「あの水商売がバケツだけどそれは献呈するということはない」ということは誤っているとすればそれは焼岳だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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