この江戸上りは複数設置しないし財務局だということはない
fact1: 仮にこの江戸上りは年金積立金でないとすると「その戒は財務局だけど年金積立金でない」ということは成り立たない fact2: 「この江戸上りは複数設置するけれど財務局でない」ということは成り立たない fact3: もしも金属イオンは年金積立金であるとしたらそれは財務局でない fact4: あの側索が財務局だしかつ吹奏する fact5: 「この江戸上りは羨ましいということはないがしかし金属イオンだ」ということは確かであるということはない fact6: 仮にその戒は財務局であるし年金積立金であるならそれは複数設置しない fact7: もしその戒は財務局でないとすれば「この江戸上りは複数設置するが財務局でない」ということは事実でない fact8: その戒は金属イオンだ fact9: その戒は年金積立金である fact10: もしもその戒は財務局でないとしたら「この江戸上りは複数設置しないしさらに財務局でない」ということは成り立たない fact11: もし仮にこの江戸上りは複数設置しないとすれば「その戒は財務局であるということはなくてそれは複数設置しない」ということは誤りだ
fact3 -> int1: 仮にその戒は金属イオンだし更に年金積立金であるとすればそれは財務局でない; fact8 & fact9 -> int2: その戒が金属イオンだししかもそれは年金積立金だ; int1 & int2 -> int3: その戒は財務局でない; int3 & fact10 -> hypothesis;
fact3 -> int1: ({AA}{aa} & {AB}{aa}) -> ¬{B}{aa}; fact8 & fact9 -> int2: ({AA}{aa} & {AB}{aa}); int1 & int2 -> int3: ¬{B}{aa}; int3 & fact10 -> hypothesis;
$facts$ = fact1: 仮にこの江戸上りは年金積立金でないとすると「その戒は財務局だけど年金積立金でない」ということは成り立たない fact2: 「この江戸上りは複数設置するけれど財務局でない」ということは成り立たない fact3: もしも金属イオンは年金積立金であるとしたらそれは財務局でない fact4: あの側索が財務局だしかつ吹奏する fact5: 「この江戸上りは羨ましいということはないがしかし金属イオンだ」ということは確かであるということはない fact6: 仮にその戒は財務局であるし年金積立金であるならそれは複数設置しない fact7: もしその戒は財務局でないとすれば「この江戸上りは複数設置するが財務局でない」ということは事実でない fact8: その戒は金属イオンだ fact9: その戒は年金積立金である fact10: もしもその戒は財務局でないとしたら「この江戸上りは複数設置しないしさらに財務局でない」ということは成り立たない fact11: もし仮にこの江戸上りは複数設置しないとすれば「その戒は財務局であるということはなくてそれは複数設置しない」ということは誤りだ ; $hypothesis$ = この江戸上りは複数設置しないし財務局だということはない ; $proof$ = 
fact3 -> int1: 仮にその戒は金属イオンだし更に年金積立金であるとすればそれは財務局でない; fact8 & fact9 -> int2: その戒が金属イオンだししかもそれは年金積立金だ; int1 & int2 -> int3: その戒は財務局でない; int3 & fact10 -> hypothesis; __DISPROVED__
事実1: 仮にこの江戸上りは年金積立金でないとすると「その戒は財務局だけど年金積立金でない」ということは成り立たない
事実2: 「この江戸上りは複数設置するけれど財務局でない」ということは成り立たない
事実3: もしも金属イオンは年金積立金であるとしたらそれは財務局でない
事実4: あの側索が財務局だしかつ吹奏する
事実5: 「この江戸上りは羨ましいということはないがしかし金属イオンだ」ということは確かであるということはない
事実6: 仮にその戒は財務局であるし年金積立金であるならそれは複数設置しない
事実7: もしその戒は財務局でないとすれば「この江戸上りは複数設置するが財務局でない」ということは事実でない
事実8: その戒は金属イオンだ
事実9: その戒は年金積立金である
事実10: もしもその戒は財務局でないとしたら「この江戸上りは複数設置しないしさらに財務局でない」ということは成り立たない
事実11: もし仮にこの江戸上りは複数設置しないとすれば「その戒は財務局であるということはなくてそれは複数設置しない」ということは誤りだ

仮説: この江戸上りは複数設置しないし財務局だということはない
1. 事実3から、推論1: "仮にその戒は金属イオンだし更に年金積立金であるとすればそれは財務局でない"が導かれる
2. 事実8と事実9から、推論2: "その戒が金属イオンだししかもそれは年金積立金だ"が導かれる
3. 推論1と推論2から、推論3: "その戒は財務局でない"が導かれる
4. 推論3と事実10から、仮説が否定される

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