その独居房は大坂城だ
fact1: もしも「なんらかの物は平屋でないがしかし大坂城である」ということは成り立つということはないとすれば魚醤でない fact2: もしあの変則的貿易形式は平屋でないとすると「それは魚醤であるかもしくは遣り直せる」ということは成り立たない fact3: もし「その独居房は遣り直せらない」ということは本当であるとしたらそれは大坂城でない fact4: もし仮に何らかの物が大聖人だということはないとしたらそれは平屋であるしそれは大坂城である fact5: あの変則的貿易形式は平屋でない fact6: 「なんらかのものは算定し難くないけどそれは大聖人だ」ということは間違いであるならば大聖人でない fact7: もし「「魚醤であるかまたは遣り直せるか両方である」ということは間違っている」物があればその独居房は大坂城でない fact8: もし仮にその独居房は難儀でないなら「「それは算定し難くないけれど大聖人である」ということは正しい」ということは偽だ
fact2 & fact5 -> int1: 「あの変則的貿易形式は魚醤であるか遣り直せる」ということは誤りだ; int1 -> int2: 「「魚醤であるかもしくは遣り直せる」ということは成り立たない」物はある; int2 & fact7 -> hypothesis;
fact2 & fact5 -> int1: ¬({AA}{a} v {AB}{a}); int1 -> int2: (Ex): ¬({AA}x v {AB}x); int2 & fact7 -> hypothesis;
この塵虫は魚醤であるということはない
fact9 -> int3: もしも「この塵虫は平屋でないがしかし大坂城だ」ということは誤りであるとすればそれは魚醤でない;
$facts$ = fact1: もしも「なんらかの物は平屋でないがしかし大坂城である」ということは成り立つということはないとすれば魚醤でない fact2: もしあの変則的貿易形式は平屋でないとすると「それは魚醤であるかもしくは遣り直せる」ということは成り立たない fact3: もし「その独居房は遣り直せらない」ということは本当であるとしたらそれは大坂城でない fact4: もし仮に何らかの物が大聖人だということはないとしたらそれは平屋であるしそれは大坂城である fact5: あの変則的貿易形式は平屋でない fact6: 「なんらかのものは算定し難くないけどそれは大聖人だ」ということは間違いであるならば大聖人でない fact7: もし「「魚醤であるかまたは遣り直せるか両方である」ということは間違っている」物があればその独居房は大坂城でない fact8: もし仮にその独居房は難儀でないなら「「それは算定し難くないけれど大聖人である」ということは正しい」ということは偽だ ; $hypothesis$ = その独居房は大坂城だ ; $proof$ = 
fact2 & fact5 -> int1: 「あの変則的貿易形式は魚醤であるか遣り直せる」ということは誤りだ; int1 -> int2: 「「魚醤であるかもしくは遣り直せる」ということは成り立たない」物はある; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: もしも「なんらかの物は平屋でないがしかし大坂城である」ということは成り立つということはないとすれば魚醤でない
事実2: もしあの変則的貿易形式は平屋でないとすると「それは魚醤であるかもしくは遣り直せる」ということは成り立たない
事実3: もし「その独居房は遣り直せらない」ということは本当であるとしたらそれは大坂城でない
事実4: もし仮に何らかの物が大聖人だということはないとしたらそれは平屋であるしそれは大坂城である
事実5: あの変則的貿易形式は平屋でない
事実6: 「なんらかのものは算定し難くないけどそれは大聖人だ」ということは間違いであるならば大聖人でない
事実7: もし「「魚醤であるかまたは遣り直せるか両方である」ということは間違っている」物があればその独居房は大坂城でない
事実8: もし仮にその独居房は難儀でないなら「「それは算定し難くないけれど大聖人である」ということは正しい」ということは偽だ

仮説: その独居房は大坂城だ
1. 事実2と事実5から、推論1: "「あの変則的貿易形式は魚醤であるか遣り直せる」ということは誤りだ"が導かれる
2. 推論1から、推論2: "「「魚醤であるかもしくは遣り直せる」ということは成り立たない」物はある"が導かれる
3. 推論2と事実7から、仮説が否定される

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