あの信楽房は闖入者でないけれど円換算である
fact1: もしも「ある物はトップランナーでないが安過ぎる」ということは嘘であるならば「それは安過ぎない」ということは成り立つ fact2: 仮に「あの御伝馬は言い易くない」ということは成り立つとするとこの試みは可溶化するし更に傷付き易い fact3: もしも「とある物は傷付き易くないけどそれは可溶化する」ということは成り立たないとしたらそれは可溶化しない fact4: もしもなにかは安過ぎるということはないなら「瑞々しいしかつ透析歴である」ということは成り立たない fact5: 「とあるものはトップランナーでないかまたは円換算でない」ということは事実だとするとそれは円換算でない fact6: もしその持久戦が瑞々しくないならあの手形理論は円換算である fact7: あの手形理論は可溶化しないとしたら「その持久戦はトップランナーでないが安過ぎる」ということは偽だ fact8: あの手形理論は円換算であるとしたら「あの信楽房は闖入者でないけれど円換算である」ということは成り立たない fact9: もしこの試みが可溶化するとするとあの信楽房は可溶化する fact10: もし仮にあの信楽房は闖入者であるなら「あの手形理論は円換算であるということはない一方でそれは闖入者である」ということは成り立つということはない fact11: 「あの手形理論は傷付き易いということはないが可溶化する」ということは間違いだ fact12: あの信楽房は名残惜しくない fact13: その持久戦は透析歴でないしまた瑞々しくない fact14: もしもあの手形理論が瑞々しいとしたらその持久戦は透析歴である fact15: もし仮になんらかのものは透析歴であるとすると「それは闖入者だ」ということは成り立つ fact16: 仮に何らかの物が透析歴でないとしたらそれは闖入者でないしまたそれは円換算だ fact17: もし仮にその持久戦は円換算であるとすると「あの手形理論は透析歴でないけど円換算である」ということは間違っている fact18: あの日本経済は円換算であるということはない fact19: 「とある物は円換算でない」ということは真実であるとすれば安過ぎるかまたは瑞々しい fact20: この民芸調仕上げは透析歴でない fact21: もし仮になんらかのものが可溶化するならそれはトップランナーでないかまたは円換算でないかあるいは両方ともだ fact22: もしも「あの信楽房は安過ぎない」ということは成り立たないならあの手形理論は瑞々しい
fact13 -> int1: その持久戦は瑞々しくない; int1 & fact6 -> int2: あの手形理論は円換算だ; int2 & fact8 -> hypothesis;
fact13 -> int1: ¬{B}{a}; int1 & fact6 -> int2: {C}{b}; int2 & fact8 -> hypothesis;
その持久戦は闖入者である
fact26 -> int3: 仮にその持久戦は透析歴であるとすると「それは闖入者である」ということは事実と異ならない; fact23 -> int4: もしあの信楽房が円換算でないならそれは安過ぎるかもしくはそれは瑞々しいかあるいは両方である; fact25 -> int5: もしあの信楽房がトップランナーでないかもしくは円換算でないか両方ともであるならばそれは円換算でない; fact24 -> int6: もしもあの信楽房が可溶化するとしたらそれはトップランナーでないかあるいはそれは円換算だということはない;
$facts$ = fact1: もしも「ある物はトップランナーでないが安過ぎる」ということは嘘であるならば「それは安過ぎない」ということは成り立つ fact2: 仮に「あの御伝馬は言い易くない」ということは成り立つとするとこの試みは可溶化するし更に傷付き易い fact3: もしも「とある物は傷付き易くないけどそれは可溶化する」ということは成り立たないとしたらそれは可溶化しない fact4: もしもなにかは安過ぎるということはないなら「瑞々しいしかつ透析歴である」ということは成り立たない fact5: 「とあるものはトップランナーでないかまたは円換算でない」ということは事実だとするとそれは円換算でない fact6: もしその持久戦が瑞々しくないならあの手形理論は円換算である fact7: あの手形理論は可溶化しないとしたら「その持久戦はトップランナーでないが安過ぎる」ということは偽だ fact8: あの手形理論は円換算であるとしたら「あの信楽房は闖入者でないけれど円換算である」ということは成り立たない fact9: もしこの試みが可溶化するとするとあの信楽房は可溶化する fact10: もし仮にあの信楽房は闖入者であるなら「あの手形理論は円換算であるということはない一方でそれは闖入者である」ということは成り立つということはない fact11: 「あの手形理論は傷付き易いということはないが可溶化する」ということは間違いだ fact12: あの信楽房は名残惜しくない fact13: その持久戦は透析歴でないしまた瑞々しくない fact14: もしもあの手形理論が瑞々しいとしたらその持久戦は透析歴である fact15: もし仮になんらかのものは透析歴であるとすると「それは闖入者だ」ということは成り立つ fact16: 仮に何らかの物が透析歴でないとしたらそれは闖入者でないしまたそれは円換算だ fact17: もし仮にその持久戦は円換算であるとすると「あの手形理論は透析歴でないけど円換算である」ということは間違っている fact18: あの日本経済は円換算であるということはない fact19: 「とある物は円換算でない」ということは真実であるとすれば安過ぎるかまたは瑞々しい fact20: この民芸調仕上げは透析歴でない fact21: もし仮になんらかのものが可溶化するならそれはトップランナーでないかまたは円換算でないかあるいは両方ともだ fact22: もしも「あの信楽房は安過ぎない」ということは成り立たないならあの手形理論は瑞々しい ; $hypothesis$ = あの信楽房は闖入者でないけれど円換算である ; $proof$ = 
fact13 -> int1: その持久戦は瑞々しくない; int1 & fact6 -> int2: あの手形理論は円換算だ; int2 & fact8 -> hypothesis; __DISPROVED__
事実1: もしも「ある物はトップランナーでないが安過ぎる」ということは嘘であるならば「それは安過ぎない」ということは成り立つ
事実2: 仮に「あの御伝馬は言い易くない」ということは成り立つとするとこの試みは可溶化するし更に傷付き易い
事実3: もしも「とある物は傷付き易くないけどそれは可溶化する」ということは成り立たないとしたらそれは可溶化しない
事実4: もしもなにかは安過ぎるということはないなら「瑞々しいしかつ透析歴である」ということは成り立たない
事実5: 「とあるものはトップランナーでないかまたは円換算でない」ということは事実だとするとそれは円換算でない
事実6: もしその持久戦が瑞々しくないならあの手形理論は円換算である
事実7: あの手形理論は可溶化しないとしたら「その持久戦はトップランナーでないが安過ぎる」ということは偽だ
事実8: あの手形理論は円換算であるとしたら「あの信楽房は闖入者でないけれど円換算である」ということは成り立たない
事実9: もしこの試みが可溶化するとするとあの信楽房は可溶化する
事実10: もし仮にあの信楽房は闖入者であるなら「あの手形理論は円換算であるということはない一方でそれは闖入者である」ということは成り立つということはない
事実11: 「あの手形理論は傷付き易いということはないが可溶化する」ということは間違いだ
事実12: あの信楽房は名残惜しくない
事実13: その持久戦は透析歴でないしまた瑞々しくない
事実14: もしもあの手形理論が瑞々しいとしたらその持久戦は透析歴である
事実15: もし仮になんらかのものは透析歴であるとすると「それは闖入者だ」ということは成り立つ
事実16: 仮に何らかの物が透析歴でないとしたらそれは闖入者でないしまたそれは円換算だ
事実17: もし仮にその持久戦は円換算であるとすると「あの手形理論は透析歴でないけど円換算である」ということは間違っている
事実18: あの日本経済は円換算であるということはない
事実19: 「とある物は円換算でない」ということは真実であるとすれば安過ぎるかまたは瑞々しい
事実20: この民芸調仕上げは透析歴でない
事実21: もし仮になんらかのものが可溶化するならそれはトップランナーでないかまたは円換算でないかあるいは両方ともだ
事実22: もしも「あの信楽房は安過ぎない」ということは成り立たないならあの手形理論は瑞々しい

仮説: あの信楽房は闖入者でないけれど円換算である
1. 事実13から、推論1: "その持久戦は瑞々しくない"が導かれる
2. 推論1と事実6から、推論2: "あの手形理論は円換算だ"が導かれる
3. 推論2と事実8から、仮説が否定される

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