以下のように仮定する。このものもやLv.48はしがない
fact1: もしも「このぽくぽゆLv.8は来易いがしかしどす黒くない」ということは成り立たないならこのものもやLv.48はどす黒くない fact2: もし仮に「このものもやLv.48はしがない」ということは確かならこのぽくぽゆLv.8は守り易い
void -> assump1: 以下のように仮定する。このものもやLv.48はしがない; fact2 & assump1 -> int1: 「このぽくぽゆLv.8は守り易い」ということは本当である;
void -> assump1: {A}{a}; fact2 & assump1 -> int1: {B}{b};
そのぽやぽよLv.51は守り易くない
$facts$ = fact1: もしも「このぽくぽゆLv.8は来易いがしかしどす黒くない」ということは成り立たないならこのものもやLv.48はどす黒くない fact2: もし仮に「このものもやLv.48はしがない」ということは確かならこのぽくぽゆLv.8は守り易い ; $hypothesis$ = 以下のように仮定する。このものもやLv.48はしがない ; $proof$ = 
__UNKNOWN__
__UNKNOWN__