このぴえぴゆLv.98は痩せ難くない
fact1: 仮にこのぷゆぷくLv.71は痩せ難いとしたら「それは生成し易い」ということは真実だ fact2: そのもちゅもにょLv.62は飛散するし進化し易い fact3: このぷゆぷくLv.71は行き難いし更に生成し易い fact4: このぴえぴゆLv.98は生成し易い fact5: そのぷよぷいLv.1は引き易い fact6: このぷゆぷくLv.71は生成し易い fact7: このぷゆぷくLv.71が引き易いならばこのぴえぴゆLv.98は痩せ難い
fact3 -> int1: このぷゆぷくLv.71は行き難い;
fact3 -> int1: {A}{a};
$facts$ = fact1: 仮にこのぷゆぷくLv.71は痩せ難いとしたら「それは生成し易い」ということは真実だ fact2: そのもちゅもにょLv.62は飛散するし進化し易い fact3: このぷゆぷくLv.71は行き難いし更に生成し易い fact4: このぴえぴゆLv.98は生成し易い fact5: そのぷよぷいLv.1は引き易い fact6: このぷゆぷくLv.71は生成し易い fact7: このぷゆぷくLv.71が引き易いならばこのぴえぴゆLv.98は痩せ難い ; $hypothesis$ = このぴえぴゆLv.98は痩せ難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__