その律速段階はエロいということはない
fact1: もしもその律速段階がエロいならそれは理解不足でない fact2: 仮にとある物は御起こしするということはないとすると「過ごし易くないが揉む」ということは間違いである fact3: その律速段階が捕らわれ易くないとしたら処女作でなくておまけにそれは油っぽい fact4: 「その律速段階は奨励するということはない一方でそれは揉む」ということは間違いだ fact5: 仮に「なにがしかの物は処女作であるしまた捕らわれ易い」ということは成り立たないならばそれは処女作でない fact6: もしも「その律速段階は奨励しない一方で揉む」ということは成り立たないとすればエロくない fact7: この質権は骨化でない fact8: 仮に「何かは御起こしするがしかしエロくない」ということは本当でないならそれは御起こししない fact9: 「その律速段階はセルＣでない一方で奨励する」ということは間違っているとすればそれは立たない fact10: もしあのモデル作りが見するとしたら通行出来ない fact11: 何かは処女作でないとしたら「御起こしするしかつエロくない」ということは事実と異なる fact12: もしもその律速段階が揉まないとしたらエロくない fact13: もしその律速段階は奨励すれば「それは支障無くない」ということは事実だ fact14: もしもその律速段階は吸収され易いかあるいは捕らわれ易くないかまたは両方ともであるとすると捕らわれ易くない
fact6 & fact4 -> hypothesis;
fact6 & fact4 -> hypothesis;
「その律速段階は過ごし易いということはないけれど揉む」ということは偽だ
fact15 -> int1: もしもその律速段階は御起こししないとすれば「それは過ごし易いということはないしかつ揉む」ということは嘘である; fact16 -> int2: 「その律速段階は御起こしする一方でそれはエロくない」ということは事実でないとすれば「それは御起こししない」ということは確かだ; fact17 -> int3: その律速段階は処女作でないとしたら「御起こしするがしかしエロいということはない」ということは事実と異なる; fact18 -> int4: なにがしかのものは骨化でない;
$facts$ = fact1: もしもその律速段階がエロいならそれは理解不足でない fact2: 仮にとある物は御起こしするということはないとすると「過ごし易くないが揉む」ということは間違いである fact3: その律速段階が捕らわれ易くないとしたら処女作でなくておまけにそれは油っぽい fact4: 「その律速段階は奨励するということはない一方でそれは揉む」ということは間違いだ fact5: 仮に「なにがしかの物は処女作であるしまた捕らわれ易い」ということは成り立たないならばそれは処女作でない fact6: もしも「その律速段階は奨励しない一方で揉む」ということは成り立たないとすればエロくない fact7: この質権は骨化でない fact8: 仮に「何かは御起こしするがしかしエロくない」ということは本当でないならそれは御起こししない fact9: 「その律速段階はセルＣでない一方で奨励する」ということは間違っているとすればそれは立たない fact10: もしあのモデル作りが見するとしたら通行出来ない fact11: 何かは処女作でないとしたら「御起こしするしかつエロくない」ということは事実と異なる fact12: もしもその律速段階が揉まないとしたらエロくない fact13: もしその律速段階は奨励すれば「それは支障無くない」ということは事実だ fact14: もしもその律速段階は吸収され易いかあるいは捕らわれ易くないかまたは両方ともであるとすると捕らわれ易くない ; $hypothesis$ = その律速段階はエロいということはない ; $proof$ = 
fact6 & fact4 -> hypothesis; __PROVED__
事実1: もしもその律速段階がエロいならそれは理解不足でない
事実2: 仮にとある物は御起こしするということはないとすると「過ごし易くないが揉む」ということは間違いである
事実3: その律速段階が捕らわれ易くないとしたら処女作でなくておまけにそれは油っぽい
事実4: 「その律速段階は奨励するということはない一方でそれは揉む」ということは間違いだ
事実5: 仮に「なにがしかの物は処女作であるしまた捕らわれ易い」ということは成り立たないならばそれは処女作でない
事実6: もしも「その律速段階は奨励しない一方で揉む」ということは成り立たないとすればエロくない
事実7: この質権は骨化でない
事実8: 仮に「何かは御起こしするがしかしエロくない」ということは本当でないならそれは御起こししない
事実9: 「その律速段階はセルＣでない一方で奨励する」ということは間違っているとすればそれは立たない
事実10: もしあのモデル作りが見するとしたら通行出来ない
事実11: 何かは処女作でないとしたら「御起こしするしかつエロくない」ということは事実と異なる
事実12: もしもその律速段階が揉まないとしたらエロくない
事実13: もしその律速段階は奨励すれば「それは支障無くない」ということは事実だ
事実14: もしもその律速段階は吸収され易いかあるいは捕らわれ易くないかまたは両方ともであるとすると捕らわれ易くない

仮説: その律速段階はエロいということはない
1. 事実6と事実4から、仮説が導かれる

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