そのぴにぴいLv.98は把握し難くない
fact1: 仮にこのみいみやLv.67がべた付き易くないとしたらそのぴわぴねLv.52は惨たらしいかまたは把握し難い fact2: そのぴわぴねLv.52は惨たらしい fact3: 「そのぴにぴいLv.98は名状し難い」ということは成り立つ fact4: そのぴわぴねLv.52は把握し難い fact5: そのものもなLv.9は把握し難い fact6: そのぴわぴねLv.52は生く
fact2 -> int1: そのぴわぴねLv.52は惨たらしい;
fact2 -> int1: {A}{a};
そのぴにぴいLv.98は把握し難くない
$facts$ = fact1: 仮にこのみいみやLv.67がべた付き易くないとしたらそのぴわぴねLv.52は惨たらしいかまたは把握し難い fact2: そのぴわぴねLv.52は惨たらしい fact3: 「そのぴにぴいLv.98は名状し難い」ということは成り立つ fact4: そのぴわぴねLv.52は把握し難い fact5: そのものもなLv.9は把握し難い fact6: そのぴわぴねLv.52は生く ; $hypothesis$ = そのぴにぴいLv.98は把握し難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__