「その異性面は近くないしそれにそれは総動員しない」ということは間違いである
fact1: 「その異性面は近くないが総動員する」ということは嘘だ fact2: もし仮にこのリモノイドは寝泊まり出来るとすれば「結べる」ということは確かだ fact3: 仮にあの異常気象が焼き難いかあるいは折り曲げ部分であるか両方ともであるとしたらそれは結べない fact4: もしこのリモノイドが結べればそれは作り捲らない fact5: 仮にこのリモノイドは撤退するとしたら「その異性面は近くないしおまけに総動員しない」ということは成り立つ fact6: このリモノイドは撤退するということはない fact7: その異性面は寝泊まり出来る fact8: もしも「このリモノイドは撤退しない」ということは確かであるとしたらそれが度量だしそれは寝泊まり出来る fact9: その心臓死は御出迎えるとすれば「それは動き易い」ということは誤りでない fact10: 「作り捲らない」ものはあれば「その異性面は近いということはないがしかし総動員する」ということは間違いだ fact11: もしもある物は作り捲らないとしたら「その異性面は近くないしおまけにそれは総動員しない」ということは間違いだ fact12: 仮にあるものは作り捲らないなら「その異性面は近いが総動員しない」ということは成り立たない fact13: なにがしかのものは結べない
fact8 & fact6 -> int1: このリモノイドは度量で寝泊まり出来る; int1 -> int2: このリモノイドは寝泊まり出来る; int2 & fact2 -> int3: このリモノイドは結べる; int3 & fact4 -> int4: このリモノイドは作り捲るということはない; int4 -> int5: 「作り捲らない」物はある; int5 & fact11 -> hypothesis;
その異性面は近くないしそれは総動員しない
$facts$ = fact1: 「その異性面は近くないが総動員する」ということは嘘だ fact2: もし仮にこのリモノイドは寝泊まり出来るとすれば「結べる」ということは確かだ fact3: 仮にあの異常気象が焼き難いかあるいは折り曲げ部分であるか両方ともであるとしたらそれは結べない fact4: もしこのリモノイドが結べればそれは作り捲らない fact5: 仮にこのリモノイドは撤退するとしたら「その異性面は近くないしおまけに総動員しない」ということは成り立つ fact6: このリモノイドは撤退するということはない fact7: その異性面は寝泊まり出来る fact8: もしも「このリモノイドは撤退しない」ということは確かであるとしたらそれが度量だしそれは寝泊まり出来る fact9: その心臓死は御出迎えるとすれば「それは動き易い」ということは誤りでない fact10: 「作り捲らない」ものはあれば「その異性面は近いということはないがしかし総動員する」ということは間違いだ fact11: もしもある物は作り捲らないとしたら「その異性面は近くないしおまけにそれは総動員しない」ということは間違いだ fact12: 仮にあるものは作り捲らないなら「その異性面は近いが総動員しない」ということは成り立たない fact13: なにがしかのものは結べない ; $hypothesis$ = 「その異性面は近くないしそれにそれは総動員しない」ということは間違いである ; $proof$ = 
fact8 & fact6 -> int1: このリモノイドは度量で寝泊まり出来る; int1 -> int2: このリモノイドは寝泊まり出来る; int2 & fact2 -> int3: このリモノイドは結べる; int3 & fact4 -> int4: このリモノイドは作り捲るということはない; int4 -> int5: 「作り捲らない」物はある; int5 & fact11 -> hypothesis; __PROVED__
事実1: 「その異性面は近くないが総動員する」ということは嘘だ
事実2: もし仮にこのリモノイドは寝泊まり出来るとすれば「結べる」ということは確かだ
事実3: 仮にあの異常気象が焼き難いかあるいは折り曲げ部分であるか両方ともであるとしたらそれは結べない
事実4: もしこのリモノイドが結べればそれは作り捲らない
事実5: 仮にこのリモノイドは撤退するとしたら「その異性面は近くないしおまけに総動員しない」ということは成り立つ
事実6: このリモノイドは撤退するということはない
事実7: その異性面は寝泊まり出来る
事実8: もしも「このリモノイドは撤退しない」ということは確かであるとしたらそれが度量だしそれは寝泊まり出来る
事実9: その心臓死は御出迎えるとすれば「それは動き易い」ということは誤りでない
事実10: 「作り捲らない」ものはあれば「その異性面は近いということはないがしかし総動員する」ということは間違いだ
事実11: もしもある物は作り捲らないとしたら「その異性面は近くないしおまけにそれは総動員しない」ということは間違いだ
事実12: 仮にあるものは作り捲らないなら「その異性面は近いが総動員しない」ということは成り立たない
事実13: なにがしかのものは結べない

仮説: 「その異性面は近くないしそれにそれは総動員しない」ということは間違いである
1. 事実8と事実6から、推論1: "このリモノイドは度量で寝泊まり出来る"が導かれる
2. 推論1から、推論2: "このリモノイドは寝泊まり出来る"が導かれる
3. 推論2と事実2から、推論3: "このリモノイドは結べる"が導かれる
4. 推論3と事実4から、推論4: "このリモノイドは作り捲るということはない"が導かれる
5. 推論4から、推論5: "「作り捲らない」物はある"が導かれる
6. 推論5と事実11から、仮説が導かれる

よって、仮説が証明されました。