その臀部はセレクトする
fact1: 「その臀部は美しくない」ということは本当である fact2: セレクトしないが非対称性分裂であるというものはない fact3: もし仮にその鼠算式は非対称性分裂でないとしたら「仲睦まじいしおまけにそれは美しい」ということは成り立たない fact4: なにかは出し抜くとしたら空間言語である fact5: 「その鼠算式は非対称性分裂でない」ということは本当だ fact6: もしある物が仲睦まじいとすればそれはセレクトしない fact7: その光軸は空間言語だ fact8: もしも「とあるものは仲睦まじい物であり空間言語でない」ということは偽ならそれは寄る辺無い fact9: もし仮になんらかの物が空間言語であるかあるいは仲睦まじいか両方ならばそれはセレクトしない fact10: あるものが丸いとしたらそれはセレクトする fact11: 仮にその臀部が丸くないならば悪しし更に出し抜く fact12: 「その臀部は丸くない」ということは正しい fact13: その臀部は悪し fact14: もしその臀部は美しくないとすれば「仲睦まじいしそれに空間言語でない」ということは事実と異なる fact15: もし仮にその臀部が丸くないとしたらそれは悪し fact16: 丸い物は躍り掛かる
fact11 & fact12 -> int1: 「その臀部は悪ししかつそれは出し抜く」ということは事実だ; int1 -> int2: その臀部は出し抜く; fact4 -> int3: 仮にその臀部が出し抜くならそれは空間言語だ; int2 & int3 -> int4: その臀部は空間言語だ; int4 -> int5: その臀部は空間言語であるかあるいは仲睦まじいかまたは両方ともである; fact9 -> int6: 仮にその臀部が空間言語であるかまたは仲睦まじいかまたは両方ともであるとすれば「セレクトしない」ということは正しい; int5 & int6 -> hypothesis;
その臀部はセレクトする
fact18 -> int7: 仮にその臀部は丸いとすると「それはセレクトする」ということは本当だ; fact19 & fact17 -> int8: 「その鼠算式は仲睦まじくて加えて美しい」ということは正しいということはない; int8 -> int9: 「「仲睦まじいし美しい」ということは嘘である」ものはある;
$facts$ = fact1: 「その臀部は美しくない」ということは本当である fact2: セレクトしないが非対称性分裂であるというものはない fact3: もし仮にその鼠算式は非対称性分裂でないとしたら「仲睦まじいしおまけにそれは美しい」ということは成り立たない fact4: なにかは出し抜くとしたら空間言語である fact5: 「その鼠算式は非対称性分裂でない」ということは本当だ fact6: もしある物が仲睦まじいとすればそれはセレクトしない fact7: その光軸は空間言語だ fact8: もしも「とあるものは仲睦まじい物であり空間言語でない」ということは偽ならそれは寄る辺無い fact9: もし仮になんらかの物が空間言語であるかあるいは仲睦まじいか両方ならばそれはセレクトしない fact10: あるものが丸いとしたらそれはセレクトする fact11: 仮にその臀部が丸くないならば悪しし更に出し抜く fact12: 「その臀部は丸くない」ということは正しい fact13: その臀部は悪し fact14: もしその臀部は美しくないとすれば「仲睦まじいしそれに空間言語でない」ということは事実と異なる fact15: もし仮にその臀部が丸くないとしたらそれは悪し fact16: 丸い物は躍り掛かる ; $hypothesis$ = その臀部はセレクトする ; $proof$ = 
fact11 & fact12 -> int1: 「その臀部は悪ししかつそれは出し抜く」ということは事実だ; int1 -> int2: その臀部は出し抜く; fact4 -> int3: 仮にその臀部が出し抜くならそれは空間言語だ; int2 & int3 -> int4: その臀部は空間言語だ; int4 -> int5: その臀部は空間言語であるかあるいは仲睦まじいかまたは両方ともである; fact9 -> int6: 仮にその臀部が空間言語であるかまたは仲睦まじいかまたは両方ともであるとすれば「セレクトしない」ということは正しい; int5 & int6 -> hypothesis; __DISPROVED__
事実1: 「その臀部は美しくない」ということは本当である
事実2: セレクトしないが非対称性分裂であるというものはない
事実3: もし仮にその鼠算式は非対称性分裂でないとしたら「仲睦まじいしおまけにそれは美しい」ということは成り立たない
事実4: なにかは出し抜くとしたら空間言語である
事実5: 「その鼠算式は非対称性分裂でない」ということは本当だ
事実6: もしある物が仲睦まじいとすればそれはセレクトしない
事実7: その光軸は空間言語だ
事実8: もしも「とあるものは仲睦まじい物であり空間言語でない」ということは偽ならそれは寄る辺無い
事実9: もし仮になんらかの物が空間言語であるかあるいは仲睦まじいか両方ならばそれはセレクトしない
事実10: あるものが丸いとしたらそれはセレクトする
事実11: 仮にその臀部が丸くないならば悪しし更に出し抜く
事実12: 「その臀部は丸くない」ということは正しい
事実13: その臀部は悪し
事実14: もしその臀部は美しくないとすれば「仲睦まじいしそれに空間言語でない」ということは事実と異なる
事実15: もし仮にその臀部が丸くないとしたらそれは悪し
事実16: 丸い物は躍り掛かる

仮説: その臀部はセレクトする
1. 事実11と事実12から、推論1: "「その臀部は悪ししかつそれは出し抜く」ということは事実だ"が導かれる
2. 推論1から、推論2: "その臀部は出し抜く"が導かれる
3. 事実4から、推論3: "仮にその臀部が出し抜くならそれは空間言語だ"が導かれる
4. 推論2と推論3から、推論4: "その臀部は空間言語だ"が導かれる
5. 推論4から、推論5: "その臀部は空間言語であるかあるいは仲睦まじいかまたは両方ともである"が導かれる
6. 事実9から、推論6: "仮にその臀部が空間言語であるかまたは仲睦まじいかまたは両方ともであるとすれば「セレクトしない」ということは正しい"が導かれる
7. 推論5と推論6から、仮説が否定される

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