このカドーは遣り易い
fact1: このカドーは罹患し易い fact2: 「とある物は生まれ始めないけれど想定し難い」ということは事実と異なるとすればそれは御めかししない fact3: もしあの拓銀破綻が遣り易くないし固定しないならばこのカドーは遣り易いということはない fact4: このカドーは遣り易い fact5: その子供本人は遣り易い fact6: あの拓銀破綻は遣り易くない fact7: その獲得免疫は遣り易い fact8: このカドーは救出する fact9: 仮にこの街路樹が御めかししないならそれは遣り易いし固定する fact10: あの印刷局は遣り易い
fact4 -> hypothesis;
この街路樹は遣り易い
fact11 -> int1: もしも「「この街路樹は生まれ始めないが想定し難い」ということは確かである」ということは誤っているなら御めかししない;
$facts$ = fact1: このカドーは罹患し易い fact2: 「とある物は生まれ始めないけれど想定し難い」ということは事実と異なるとすればそれは御めかししない fact3: もしあの拓銀破綻が遣り易くないし固定しないならばこのカドーは遣り易いということはない fact4: このカドーは遣り易い fact5: その子供本人は遣り易い fact6: あの拓銀破綻は遣り易くない fact7: その獲得免疫は遣り易い fact8: このカドーは救出する fact9: 仮にこの街路樹が御めかししないならそれは遣り易いし固定する fact10: あの印刷局は遣り易い ; $hypothesis$ = このカドーは遣り易い ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: このカドーは罹患し易い
事実2: 「とある物は生まれ始めないけれど想定し難い」ということは事実と異なるとすればそれは御めかししない
事実3: もしあの拓銀破綻が遣り易くないし固定しないならばこのカドーは遣り易いということはない
事実4: このカドーは遣り易い
事実5: その子供本人は遣り易い
事実6: あの拓銀破綻は遣り易くない
事実7: その獲得免疫は遣り易い
事実8: このカドーは救出する
事実9: 仮にこの街路樹が御めかししないならそれは遣り易いし固定する
事実10: あの印刷局は遣り易い

仮説: このカドーは遣り易い
1. 事実4から、仮説が導かれる

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