あのぷにゅぷわLv.22は近寄り難い
fact1: そのぽいぽえLv.59はだだっ広い fact2: そのぽいぽえLv.59はしおらしくて選択され易い fact3: 「そのぽいぽえLv.59は近寄り難いししかも広げる」ということは確かである
fact2 -> int1: そのぽいぽえLv.59は選択され易い; int1 & fact1 -> int2: そのぽいぽえLv.59が選択され易いしその上だだっ広い;
fact2 -> int1: {B}{a}; int1 & fact1 -> int2: ({B}{a} & {C}{a});
$facts$ = fact1: そのぽいぽえLv.59はだだっ広い fact2: そのぽいぽえLv.59はしおらしくて選択され易い fact3: 「そのぽいぽえLv.59は近寄り難いししかも広げる」ということは確かである ; $hypothesis$ = あのぷにゅぷわLv.22は近寄り難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__