あのみなみにょLv.52は把握し難くない
fact1: もしこのぽくぽなLv.70が書き記すとするとあのみなみにょLv.52は把握し難い fact2: このぷやぷねLv.51は優ししさらに変わり易い fact3: 「このぷやぷねLv.51は書き記す」ということは確かだとするとこのぽくぽなLv.70は優し fact4: もし仮にあのまねまねLv.43が分解され難いならこのぽくぽなLv.70は書き記す
fact2 -> int1: このぷやぷねLv.51は変わり易い;
fact2 -> int1: {B}{a};
$facts$ = fact1: もしこのぽくぽなLv.70が書き記すとするとあのみなみにょLv.52は把握し難い fact2: このぷやぷねLv.51は優ししさらに変わり易い fact3: 「このぷやぷねLv.51は書き記す」ということは確かだとするとこのぽくぽなLv.70は優し fact4: もし仮にあのまねまねLv.43が分解され難いならこのぽくぽなLv.70は書き記す ; $hypothesis$ = あのみなみにょLv.52は把握し難くない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__