その腱反射は人らしくない
fact1: もしも「「その腱反射は知り難ししおまけにそれは意義深い」ということは正しい」ということは嘘であるとしたら「人らしくない」ということは間違いでない fact2: この四年連続は知り難し fact3: もしもあの永住ビザが意義深いということはないならこのアンブシュアは締めっぽくないかあるいは知り難しか両方だ fact4: この四年連続は大太刀である fact5: もし仮に何かは蠕動しないとすれば「ボウであるし加えてそれは窮民だ」ということは偽である fact6: もし仮にある物が蠕動するかあるいは判断するかまたは両方であるとすればこのアンブシュアは返還するということはない fact7: この四年連続は蠕動する fact8: 仮にあの永住ビザが窮民であるとするとその腱反射は人らしい fact9: このアンブシュアは人らしいかもしくは意義深くないかもしくは両方である fact10: もし仮に何かは知り難しということはないか大太刀でないかもしくはどちらもだとすれば窮民だ fact11: 仮に「何らかの物は締めっぽくて加えて意義深い」ということは偽であるならばそれは使えない fact12: この羽子板は蠕動する fact13: もし「このアンブシュアは使えない」ということは本当だとするとあの永住ビザは知り難くないか大太刀でないか両方ともである fact14: このアンブシュアは窮民でないかそれは意義深くないかあるいは両方である fact15: もし仮になんらかの物は返還しないなら「それが締めっぽいしその上意義深い」ということは誤っている fact16: 「「あるものは気まずいしそれに見辛い」ということは成り立つ」ということは成り立たないならば「書き難くない」ということは成り立つ fact17: もし仮になにがしかの物が判断しないかそれは返還するとしたら「それは蠕動しない」ということは成り立つ
fact7 -> int1: この四年連続は蠕動するか判断する; int1 -> int2: 「蠕動するかもしくは判断するかもしくは両方ともである」ものはある; int2 & fact6 -> int3: このアンブシュアは返還しない; fact15 -> int4: もし仮にこのアンブシュアは返還しないとすれば「それは締めっぽいし更にそれは意義深い」ということは嘘である; int3 & int4 -> int5: 「このアンブシュアは締めっぽいししかも意義深い」ということは誤りだ; fact11 -> int6: もし「このアンブシュアは締めっぽいししかも意義深い」ということは成り立たないとすると「それは使えない」ということは正しい; int5 & int6 -> int7: このアンブシュアは使えるということはない; int7 & fact13 -> int8: あの永住ビザは知り難しということはないかもしくは大太刀だということはないかまたはどちらもだ; fact10 -> int9: もし「あの永住ビザは知り難くないかあるいは大太刀でないかもしくは両方ともだ」ということは間違っていないとすればそれは窮民である; int8 & int9 -> int10: あの永住ビザは窮民である; int10 & fact8 -> hypothesis;
「その統治権力はボウだしおまけに窮民だ」ということは間違いである
fact19 -> int11: もしその統治権力は蠕動するということはないならば「ボウであるしそれにそれは窮民である」ということは成り立たない; fact18 -> int12: もしその統治権力が判断するということはないかまたは返還するかあるいは両方ともであるとするとそれは蠕動しない;
$facts$ = fact1: もしも「「その腱反射は知り難ししおまけにそれは意義深い」ということは正しい」ということは嘘であるとしたら「人らしくない」ということは間違いでない fact2: この四年連続は知り難し fact3: もしもあの永住ビザが意義深いということはないならこのアンブシュアは締めっぽくないかあるいは知り難しか両方だ fact4: この四年連続は大太刀である fact5: もし仮に何かは蠕動しないとすれば「ボウであるし加えてそれは窮民だ」ということは偽である fact6: もし仮にある物が蠕動するかあるいは判断するかまたは両方であるとすればこのアンブシュアは返還するということはない fact7: この四年連続は蠕動する fact8: 仮にあの永住ビザが窮民であるとするとその腱反射は人らしい fact9: このアンブシュアは人らしいかもしくは意義深くないかもしくは両方である fact10: もし仮に何かは知り難しということはないか大太刀でないかもしくはどちらもだとすれば窮民だ fact11: 仮に「何らかの物は締めっぽくて加えて意義深い」ということは偽であるならばそれは使えない fact12: この羽子板は蠕動する fact13: もし「このアンブシュアは使えない」ということは本当だとするとあの永住ビザは知り難くないか大太刀でないか両方ともである fact14: このアンブシュアは窮民でないかそれは意義深くないかあるいは両方である fact15: もし仮になんらかの物は返還しないなら「それが締めっぽいしその上意義深い」ということは誤っている fact16: 「「あるものは気まずいしそれに見辛い」ということは成り立つ」ということは成り立たないならば「書き難くない」ということは成り立つ fact17: もし仮になにがしかの物が判断しないかそれは返還するとしたら「それは蠕動しない」ということは成り立つ ; $hypothesis$ = その腱反射は人らしくない ; $proof$ = 
fact7 -> int1: この四年連続は蠕動するか判断する; int1 -> int2: 「蠕動するかもしくは判断するかもしくは両方ともである」ものはある; int2 & fact6 -> int3: このアンブシュアは返還しない; fact15 -> int4: もし仮にこのアンブシュアは返還しないとすれば「それは締めっぽいし更にそれは意義深い」ということは嘘である; int3 & int4 -> int5: 「このアンブシュアは締めっぽいししかも意義深い」ということは誤りだ; fact11 -> int6: もし「このアンブシュアは締めっぽいししかも意義深い」ということは成り立たないとすると「それは使えない」ということは正しい; int5 & int6 -> int7: このアンブシュアは使えるということはない; int7 & fact13 -> int8: あの永住ビザは知り難しということはないかもしくは大太刀だということはないかまたはどちらもだ; fact10 -> int9: もし「あの永住ビザは知り難くないかあるいは大太刀でないかもしくは両方ともだ」ということは間違っていないとすればそれは窮民である; int8 & int9 -> int10: あの永住ビザは窮民である; int10 & fact8 -> hypothesis; __DISPROVED__
事実1: もしも「「その腱反射は知り難ししおまけにそれは意義深い」ということは正しい」ということは嘘であるとしたら「人らしくない」ということは間違いでない
事実2: この四年連続は知り難し
事実3: もしもあの永住ビザが意義深いということはないならこのアンブシュアは締めっぽくないかあるいは知り難しか両方だ
事実4: この四年連続は大太刀である
事実5: もし仮に何かは蠕動しないとすれば「ボウであるし加えてそれは窮民だ」ということは偽である
事実6: もし仮にある物が蠕動するかあるいは判断するかまたは両方であるとすればこのアンブシュアは返還するということはない
事実7: この四年連続は蠕動する
事実8: 仮にあの永住ビザが窮民であるとするとその腱反射は人らしい
事実9: このアンブシュアは人らしいかもしくは意義深くないかもしくは両方である
事実10: もし仮に何かは知り難しということはないか大太刀でないかもしくはどちらもだとすれば窮民だ
事実11: 仮に「何らかの物は締めっぽくて加えて意義深い」ということは偽であるならばそれは使えない
事実12: この羽子板は蠕動する
事実13: もし「このアンブシュアは使えない」ということは本当だとするとあの永住ビザは知り難くないか大太刀でないか両方ともである
事実14: このアンブシュアは窮民でないかそれは意義深くないかあるいは両方である
事実15: もし仮になんらかの物は返還しないなら「それが締めっぽいしその上意義深い」ということは誤っている
事実16: 「「あるものは気まずいしそれに見辛い」ということは成り立つ」ということは成り立たないならば「書き難くない」ということは成り立つ
事実17: もし仮になにがしかの物が判断しないかそれは返還するとしたら「それは蠕動しない」ということは成り立つ

仮説: その腱反射は人らしくない
1. 事実7から、推論1: "この四年連続は蠕動するか判断する"が導かれる
2. 推論1から、推論2: "「蠕動するかもしくは判断するかもしくは両方ともである」ものはある"が導かれる
3. 推論2と事実6から、推論3: "このアンブシュアは返還しない"が導かれる
4. 事実15から、推論4: "もし仮にこのアンブシュアは返還しないとすれば「それは締めっぽいし更にそれは意義深い」ということは嘘である"が導かれる
5. 推論3と推論4から、推論5: "「このアンブシュアは締めっぽいししかも意義深い」ということは誤りだ"が導かれる
6. 事実11から、推論6: "もし「このアンブシュアは締めっぽいししかも意義深い」ということは成り立たないとすると「それは使えない」ということは正しい"が導かれる
7. 推論5と推論6から、推論7: "このアンブシュアは使えるということはない"が導かれる
8. 推論7と事実13から、推論8: "あの永住ビザは知り難しということはないかもしくは大太刀だということはないかまたはどちらもだ"が導かれる
9. 事実10から、推論9: "もし「あの永住ビザは知り難くないかあるいは大太刀でないかもしくは両方ともだ」ということは間違っていないとすればそれは窮民である"が導かれる
10. 推論8と推論9から、推論10: "あの永住ビザは窮民である"が導かれる
11. 推論10と事実8から、仮説が否定される

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