そのもゆもちょLv.8は限り無くない
fact1: もし仮に「浚わないかまたは面白おかしくない」モンスターがいるとすればこのぷちょぷいLv.79は形成し易くない fact2: 仮にそのもゆもちょLv.8が倹しいし加えて形成し易いとするとそのもゆもちょLv.8は限り無くない fact3: もし仮に「このみやみやLv.22は限り無くない」ということは間違いであるとすればそのもゆもちょLv.8は限り無い fact4: 「そのもゆもちょLv.8は形成し易い」ということは正しい fact5: もし仮にこのぷちょぷいLv.79が形成し易くないならばそのみえみにゅLv.13は捕まえ易いし倹しい fact6: すべてのモンスターは浚わないかまたは面白おかしくないかあるいは両方である fact7: もしそのもゆもちょLv.8が捕まえ易いとしたらそのもゆもちょLv.8は倹しい fact8: そのもゆもちょLv.8は捕まえ易い
fact7 & fact8 -> int1: そのもゆもちょLv.8は倹しい; int1 & fact4 -> int2: そのもゆもちょLv.8は倹しいし形成し易い; int2 & fact2 -> hypothesis;
fact7 & fact8 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> hypothesis;
そのもゆもちょLv.8は限り無い
fact12 -> int3: このぴわぴちゅLv.19は浚わないかあるいはそれは面白おかしくないかもしくは両方ともである; int3 -> int4: 何らかのモンスターは浚わないか面白おかしいということはないかあるいは両方ともである; int4 & fact11 -> int5: このぷちょぷいLv.79は形成し易くない; fact9 & int5 -> int6: そのみえみにゅLv.13は捕まえ易いし倹しい; int6 -> int7: そのみえみにゅLv.13は捕まえ易い; int7 -> int8: 「捕まえ易い」モンスターはいる;
$facts$ = fact1: もし仮に「浚わないかまたは面白おかしくない」モンスターがいるとすればこのぷちょぷいLv.79は形成し易くない fact2: 仮にそのもゆもちょLv.8が倹しいし加えて形成し易いとするとそのもゆもちょLv.8は限り無くない fact3: もし仮に「このみやみやLv.22は限り無くない」ということは間違いであるとすればそのもゆもちょLv.8は限り無い fact4: 「そのもゆもちょLv.8は形成し易い」ということは正しい fact5: もし仮にこのぷちょぷいLv.79が形成し易くないならばそのみえみにゅLv.13は捕まえ易いし倹しい fact6: すべてのモンスターは浚わないかまたは面白おかしくないかあるいは両方である fact7: もしそのもゆもちょLv.8が捕まえ易いとしたらそのもゆもちょLv.8は倹しい fact8: そのもゆもちょLv.8は捕まえ易い ; $hypothesis$ = そのもゆもちょLv.8は限り無くない ; $proof$ = 
fact7 & fact8 -> int1: そのもゆもちょLv.8は倹しい; int1 & fact4 -> int2: そのもゆもちょLv.8は倹しいし形成し易い; int2 & fact2 -> hypothesis; __PROVED__
fact7 & fact8 -> int1: {B}{a}; int1 & fact4 -> int2: ({B}{a} & {C}{a}); int2 & fact2 -> hypothesis; __PROVED__