このぽいぽにょLv.19は上げ易い
fact1: このぽいぽにょLv.19はか弱い fact2: もしこのぽいぽにょLv.19はか弱いなら「このぽいぽにょLv.19は上げ易い」ということは真実だ
fact1 -> int1: このぽいぽにょLv.19はか弱い; int1 & fact2 -> hypothesis;
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis;
$facts$ = fact1: このぽいぽにょLv.19はか弱い fact2: もしこのぽいぽにょLv.19はか弱いなら「このぽいぽにょLv.19は上げ易い」ということは真実だ ; $hypothesis$ = このぽいぽにょLv.19は上げ易い ; $proof$ = 
fact1 -> int1: このぽいぽにょLv.19はか弱い; int1 & fact2 -> hypothesis; __PROVED__
fact1 -> int1: {A}{a}; int1 & fact2 -> hypothesis; __PROVED__