あのもいもにゃLv.51は愚かしい
fact1: あのぽいぽちょLv.25は蠢き出す fact2: 「「見付け易いし蠢き出す」モンスターはいる」ということは真実だ fact3: もしもあのぽいぽちょLv.25が手際良いということはないけれど程遠いならあのもいもにゃLv.51は愚かしい fact4: もし見付け易いモンスターが蠢き出せばあのぽいぽちょLv.25は利用し難い fact5: 「見付け易い」モンスターはいる fact6: もしあのぽいぽちょLv.25が利用し難いとするとそれは手際良いということはないが程遠い fact7: もしもあのぽいぽちょLv.25が愚かしくないけれど手際良いならばあのもいもにゃLv.51は程遠い
fact2 & fact4 -> int1: あのぽいぽちょLv.25は利用し難い; int1 & fact6 -> int2: あのぽいぽちょLv.25は手際良くないけれど程遠い; int2 & fact3 -> hypothesis;
fact2 & fact4 -> int1: {C}{a}; int1 & fact6 -> int2: (¬{E}{a} & {D}{a}); int2 & fact3 -> hypothesis;
$facts$ = fact1: あのぽいぽちょLv.25は蠢き出す fact2: 「「見付け易いし蠢き出す」モンスターはいる」ということは真実だ fact3: もしもあのぽいぽちょLv.25が手際良いということはないけれど程遠いならあのもいもにゃLv.51は愚かしい fact4: もし見付け易いモンスターが蠢き出せばあのぽいぽちょLv.25は利用し難い fact5: 「見付け易い」モンスターはいる fact6: もしあのぽいぽちょLv.25が利用し難いとするとそれは手際良いということはないが程遠い fact7: もしもあのぽいぽちょLv.25が愚かしくないけれど手際良いならばあのもいもにゃLv.51は程遠い ; $hypothesis$ = あのもいもにゃLv.51は愚かしい ; $proof$ = 
fact2 & fact4 -> int1: あのぽいぽちょLv.25は利用し難い; int1 & fact6 -> int2: あのぽいぽちょLv.25は手際良くないけれど程遠い; int2 & fact3 -> hypothesis; __PROVED__
fact2 & fact4 -> int1: {C}{a}; int1 & fact6 -> int2: (¬{E}{a} & {D}{a}); int2 & fact3 -> hypothesis; __PROVED__