このデリケートさは勘繰る
fact1: もし仮にその横材が馴染み難いとすればあの就寝時間は馴染み難い fact2: もしもなにかは御礼登城でないならばそれは誘い掛けるし営巣する fact3: このデリケートさが成文化しないなら勘繰るかあるいはそれは台本直しであるかあるいは両方ともである fact4: もし仮にこの微細が結い上げないし買い易くないとしたらその横材は馴染み難い fact5: もし「この就寝時間は台本直しでないかそれは照らせるか両方である」ということは偽であるとしたらこの上場規則は台本直しでない fact6: もしなにがしかの物は誘い掛けるとすると「それは台本直しでないかそれは照らせるかどちらもである」ということは間違いだ fact7: この微細は結い上げないし買い易くない fact8: このデリケートさは勘繰る fact9: もし仮にこの上場規則が勘繰らないとしたらこのデリケートさは勘繰らない fact10: もしも何かは台本直しでないなら勘繰らないがしかし成文化する fact11: この錨は勘繰る fact12: 馴染み難いものが運営管理しないならそれは御礼登城でない
fact8 -> hypothesis;
fact8 -> hypothesis;
このデリケートさは勘繰らない
fact18 -> int1: この上場規則は台本直しでないとしたら「それは勘繰らなくてまたそれは成文化する」ということは本当だ; fact20 -> int2: この就寝時間は誘い掛けるとすると「それは台本直しでないかもしくはそれは照らせるかあるいは両方ともである」ということは間違っている; fact15 -> int3: 仮にこの就寝時間が御礼登城でないならば誘い掛けるしその上営巣する; fact16 -> int4: もしもこの就寝時間は馴染み難いが運営管理しないとしたら「御礼登城でない」ということは事実である; fact14 & fact17 -> int5: その横材は馴染み難い; fact13 & int5 -> int6: この就寝時間は馴染み難い;
$facts$ = fact1: もし仮にその横材が馴染み難いとすればあの就寝時間は馴染み難い fact2: もしもなにかは御礼登城でないならばそれは誘い掛けるし営巣する fact3: このデリケートさが成文化しないなら勘繰るかあるいはそれは台本直しであるかあるいは両方ともである fact4: もし仮にこの微細が結い上げないし買い易くないとしたらその横材は馴染み難い fact5: もし「この就寝時間は台本直しでないかそれは照らせるか両方である」ということは偽であるとしたらこの上場規則は台本直しでない fact6: もしなにがしかの物は誘い掛けるとすると「それは台本直しでないかそれは照らせるかどちらもである」ということは間違いだ fact7: この微細は結い上げないし買い易くない fact8: このデリケートさは勘繰る fact9: もし仮にこの上場規則が勘繰らないとしたらこのデリケートさは勘繰らない fact10: もしも何かは台本直しでないなら勘繰らないがしかし成文化する fact11: この錨は勘繰る fact12: 馴染み難いものが運営管理しないならそれは御礼登城でない ; $hypothesis$ = このデリケートさは勘繰る ; $proof$ = 
fact8 -> hypothesis; __PROVED__
事実1: もし仮にその横材が馴染み難いとすればあの就寝時間は馴染み難い
事実2: もしもなにかは御礼登城でないならばそれは誘い掛けるし営巣する
事実3: このデリケートさが成文化しないなら勘繰るかあるいはそれは台本直しであるかあるいは両方ともである
事実4: もし仮にこの微細が結い上げないし買い易くないとしたらその横材は馴染み難い
事実5: もし「この就寝時間は台本直しでないかそれは照らせるか両方である」ということは偽であるとしたらこの上場規則は台本直しでない
事実6: もしなにがしかの物は誘い掛けるとすると「それは台本直しでないかそれは照らせるかどちらもである」ということは間違いだ
事実7: この微細は結い上げないし買い易くない
事実8: このデリケートさは勘繰る
事実9: もし仮にこの上場規則が勘繰らないとしたらこのデリケートさは勘繰らない
事実10: もしも何かは台本直しでないなら勘繰らないがしかし成文化する
事実11: この錨は勘繰る
事実12: 馴染み難いものが運営管理しないならそれは御礼登城でない

仮説: このデリケートさは勘繰る
1. 事実8から、仮説が導かれる

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