そのぷやぷえLv.79は暗殺するということはない
fact1: 仮に「このもやもいLv.59はうら若いかまたは狡っ辛いということはないかまたはどちらもだ」ということは間違いであるとするとそのぷやぷえLv.79は狡っ辛くない fact2: 「取り易い」モンスターはいる fact3: 狡っ辛くないモンスターは暗殺するしかつ取り易い fact4: もし仮にあるモンスターが取り易いとするとそのぷやぷえLv.79は暗殺しない
fact2 -> int1: 「取り易い」モンスターはいる; int1 & fact4 -> hypothesis;
fact2 -> int1: (Ex): {A}x; int1 & fact4 -> hypothesis;
そのぷやぷえLv.79は暗殺する
fact6 -> int2: もし仮にそのぷやぷえLv.79が狡っ辛くないとするとそのぷやぷえLv.79は暗殺するし更に取り易い;
$facts$ = fact1: 仮に「このもやもいLv.59はうら若いかまたは狡っ辛いということはないかまたはどちらもだ」ということは間違いであるとするとそのぷやぷえLv.79は狡っ辛くない fact2: 「取り易い」モンスターはいる fact3: 狡っ辛くないモンスターは暗殺するしかつ取り易い fact4: もし仮にあるモンスターが取り易いとするとそのぷやぷえLv.79は暗殺しない ; $hypothesis$ = そのぷやぷえLv.79は暗殺するということはない ; $proof$ = 
fact2 -> int1: 「取り易い」モンスターはいる; int1 & fact4 -> hypothesis; __PROVED__
fact2 -> int1: (Ex): {A}x; int1 & fact4 -> hypothesis; __PROVED__