このぽにゃぽちょLv.92は展開し易い
fact1: 仮に「「このぽにゃぽちょLv.92は痩せ難いが尊しということはない」ということは確かだ」ということは間違っているとすればこのぽにゃぽちょLv.92は展開し易い fact2: もしあのみにみえLv.10が痩せ難いとするとこのぽにゃぽちょLv.92は展開し易くない
void -> assump1: 以下のように仮定する。このぽにゃぽちょLv.92は痩せ難いがしかし尊しない; assump1 -> int1: このぽにゃぽちょLv.92は痩せ難い;
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: {A}{a};
このぽにゃぽちょLv.92は展開し易くない
$facts$ = fact1: 仮に「「このぽにゃぽちょLv.92は痩せ難いが尊しということはない」ということは確かだ」ということは間違っているとすればこのぽにゃぽちょLv.92は展開し易い fact2: もしあのみにみえLv.10が痩せ難いとするとこのぽにゃぽちょLv.92は展開し易くない ; $hypothesis$ = このぽにゃぽちょLv.92は展開し易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__