この如上はもたつかない
fact1: もし仮にこの如上が寄る辺無いなら機種変更である fact2: もし仮に「この米国政府は掛け難くないけど鮎釣りである」ということは誤りだとしたらあの執刀は機種変更であるということはない fact3: 仮に「寄る辺無い」物はあるとすれば「この如上は愚かしくないが寄る辺無い」ということは誤りだ fact4: とある物は寄る辺無い fact5: 「この如上は気まずくないしそれに寄る辺無くない」ということは間違っている fact6: もしも「その土地所有は軟らかくないし軌道修正しない」ということは誤っているとしたらそれは機種変更だ fact7: もし仮に「「寄る辺無い」ということは成り立つ」ものはあるなら「この如上は愚かしいということはなくて寄る辺無くない」ということは成り立たない fact8: 仮にこの如上はもたつかないならば「それは任務懈怠でなくてそれにそれは送付しない」ということは真実でない fact9: もし「何かは愚かしくないしさらに寄る辺無くない」ということは成り立たないとすれば機種変更だ fact10: 仮にとある物が寄る辺無いとしたらそれは機種変更である fact11: もしなにがしかのものが機種変更だとしたらもたつく fact12: 「この如上は愚かしくないけれど寄る辺無い」ということは誤りだ
fact9 -> int1: 仮に「この如上は愚かしくなくてかつ寄る辺無くない」ということは成り立たないとすると機種変更だ; fact4 & fact7 -> int2: 「この如上は愚かしくないし寄る辺無くない」ということは誤りである; int1 & int2 -> int3: 「この如上は機種変更である」ということは本当だ; fact11 -> int4: もしもこの如上は機種変更であるとするとそれはもたつく; int3 & int4 -> hypothesis;
fact9 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; fact4 & fact7 -> int2: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & int2 -> int3: {B}{aa}; fact11 -> int4: {B}{aa} -> {A}{aa}; int3 & int4 -> hypothesis;
「この如上はもたつかない」ということは確かだ
$facts$ = fact1: もし仮にこの如上が寄る辺無いなら機種変更である fact2: もし仮に「この米国政府は掛け難くないけど鮎釣りである」ということは誤りだとしたらあの執刀は機種変更であるということはない fact3: 仮に「寄る辺無い」物はあるとすれば「この如上は愚かしくないが寄る辺無い」ということは誤りだ fact4: とある物は寄る辺無い fact5: 「この如上は気まずくないしそれに寄る辺無くない」ということは間違っている fact6: もしも「その土地所有は軟らかくないし軌道修正しない」ということは誤っているとしたらそれは機種変更だ fact7: もし仮に「「寄る辺無い」ということは成り立つ」ものはあるなら「この如上は愚かしいということはなくて寄る辺無くない」ということは成り立たない fact8: 仮にこの如上はもたつかないならば「それは任務懈怠でなくてそれにそれは送付しない」ということは真実でない fact9: もし「何かは愚かしくないしさらに寄る辺無くない」ということは成り立たないとすれば機種変更だ fact10: 仮にとある物が寄る辺無いとしたらそれは機種変更である fact11: もしなにがしかのものが機種変更だとしたらもたつく fact12: 「この如上は愚かしくないけれど寄る辺無い」ということは誤りだ ; $hypothesis$ = この如上はもたつかない ; $proof$ = 
fact9 -> int1: 仮に「この如上は愚かしくなくてかつ寄る辺無くない」ということは成り立たないとすると機種変更だ; fact4 & fact7 -> int2: 「この如上は愚かしくないし寄る辺無くない」ということは誤りである; int1 & int2 -> int3: 「この如上は機種変更である」ということは本当だ; fact11 -> int4: もしもこの如上は機種変更であるとするとそれはもたつく; int3 & int4 -> hypothesis; __DISPROVED__
事実1: もし仮にこの如上が寄る辺無いなら機種変更である
事実2: もし仮に「この米国政府は掛け難くないけど鮎釣りである」ということは誤りだとしたらあの執刀は機種変更であるということはない
事実3: 仮に「寄る辺無い」物はあるとすれば「この如上は愚かしくないが寄る辺無い」ということは誤りだ
事実4: とある物は寄る辺無い
事実5: 「この如上は気まずくないしそれに寄る辺無くない」ということは間違っている
事実6: もしも「その土地所有は軟らかくないし軌道修正しない」ということは誤っているとしたらそれは機種変更だ
事実7: もし仮に「「寄る辺無い」ということは成り立つ」ものはあるなら「この如上は愚かしいということはなくて寄る辺無くない」ということは成り立たない
事実8: 仮にこの如上はもたつかないならば「それは任務懈怠でなくてそれにそれは送付しない」ということは真実でない
事実9: もし「何かは愚かしくないしさらに寄る辺無くない」ということは成り立たないとすれば機種変更だ
事実10: 仮にとある物が寄る辺無いとしたらそれは機種変更である
事実11: もしなにがしかのものが機種変更だとしたらもたつく
事実12: 「この如上は愚かしくないけれど寄る辺無い」ということは誤りだ

仮説: この如上はもたつかない
1. 事実9から、推論1: "仮に「この如上は愚かしくなくてかつ寄る辺無くない」ということは成り立たないとすると機種変更だ"が導かれる
2. 事実4と事実7から、推論2: "「この如上は愚かしくないし寄る辺無くない」ということは誤りである"が導かれる
3. 推論1と推論2から、推論3: "「この如上は機種変更である」ということは本当だ"が導かれる
4. 事実11から、推論4: "もしもこの如上は機種変更であるとするとそれはもたつく"が導かれる
5. 推論3と推論4から、仮説が否定される

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