「このぽえぽくLv.99はくどい」ということは成り立つ
fact1: このぽえぽくLv.99は狩り出す fact2: 仮にこのぽえぽくLv.99が狩り出すとすればこのぽえぽくLv.99はくどい fact3: 仮にこのぽえぽくLv.99がどぎついならばこのぽえぽくLv.99は描き易いということはない fact4: 描き易くないモンスターは申し訳無くなくて狩り出さない
fact1 -> int1: このぽえぽくLv.99は狩り出す; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
あのぽねぽにゃLv.89はくどい
fact5 -> int2: もし仮にこのぽえぽくLv.99が描き易くないならばこのぽえぽくLv.99は申し訳無くないししかも狩り出さない;
$facts$ = fact1: このぽえぽくLv.99は狩り出す fact2: 仮にこのぽえぽくLv.99が狩り出すとすればこのぽえぽくLv.99はくどい fact3: 仮にこのぽえぽくLv.99がどぎついならばこのぽえぽくLv.99は描き易いということはない fact4: 描き易くないモンスターは申し訳無くなくて狩り出さない ; $hypothesis$ = 「このぽえぽくLv.99はくどい」ということは成り立つ ; $proof$ = 
fact1 -> int1: このぽえぽくLv.99は狩り出す; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__