このぴのぴくLv.26は犯し難い
fact1: もしあのもなもゆLv.89が奮発するならこのぴのぴくLv.26は犯し難い fact2: あのぷにょぷねLv.62は止めど無いししかもそれは立て直す fact3: 犯し難くないモンスターは植え付けるということはないけれどきちっとする fact4: 仮にあのもなもゆLv.89が植え付けるとすればあのもなもゆLv.89は奮発する fact5: もし仮にあるモンスターが立て直さないとすればそれは止めど無いしそれに奮発する fact6: もしあのぷにょぷねLv.62が止めど無いならあのぽよぽわLv.99はきちっとする
fact2 -> int1: 「あのぷにょぷねLv.62は止めど無い」ということは事実である; int1 & fact6 -> int2: あのぽよぽわLv.99はきちっとする;
fact2 -> int1: {A}{a}; int1 & fact6 -> int2: {C}{b};
あのもゆもわLv.69は奮発する
fact8 -> int3: もしもあのもゆもわLv.69が立て直さないとすればそれは止めど無くて奮発する; fact7 -> int4: もし仮にあのぽよぽわLv.99が犯し難くないならばあのぽよぽわLv.99は植え付けないけれどきちっとする;
$facts$ = fact1: もしあのもなもゆLv.89が奮発するならこのぴのぴくLv.26は犯し難い fact2: あのぷにょぷねLv.62は止めど無いししかもそれは立て直す fact3: 犯し難くないモンスターは植え付けるということはないけれどきちっとする fact4: 仮にあのもなもゆLv.89が植え付けるとすればあのもなもゆLv.89は奮発する fact5: もし仮にあるモンスターが立て直さないとすればそれは止めど無いしそれに奮発する fact6: もしあのぷにょぷねLv.62が止めど無いならあのぽよぽわLv.99はきちっとする ; $hypothesis$ = このぴのぴくLv.26は犯し難い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__