このもえもゆLv.76は起こし易い
fact1: もしも「このもえもゆLv.76は起こし易いけど変わり易くない」ということは間違いであるとすればあのぴくぴにゅLv.61は済ま無くない fact2: 「このもえもゆLv.76は浅しし余儀無い」ということは成り立つということはない fact3: もしあのぴくぴにゅLv.61が余儀無いが済ま無くないとすればあのぴくぴにゅLv.61は変わり易くない fact4: もしも「あのぴくぴにゅLv.61は余儀無いがしかしそれは済ま無くない」ということは間違いであるとすればこのもえもゆLv.76は起こし易くない fact5: あのぴくぴにゅLv.61が起こし易いとするとこのもえもゆLv.76は起こし易い
void -> assump1: 以下のように仮定する。あのぴくぴにゅLv.61は余儀無い一方で済ま無くない; fact3 & assump1 -> int1: あのぴくぴにゅLv.61は変わり易いということはない;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact3 & assump1 -> int1: ¬{B}{a};
このもえもゆLv.76は起こし易い
$facts$ = fact1: もしも「このもえもゆLv.76は起こし易いけど変わり易くない」ということは間違いであるとすればあのぴくぴにゅLv.61は済ま無くない fact2: 「このもえもゆLv.76は浅しし余儀無い」ということは成り立つということはない fact3: もしあのぴくぴにゅLv.61が余儀無いが済ま無くないとすればあのぴくぴにゅLv.61は変わり易くない fact4: もしも「あのぴくぴにゅLv.61は余儀無いがしかしそれは済ま無くない」ということは間違いであるとすればこのもえもゆLv.76は起こし易くない fact5: あのぴくぴにゅLv.61が起こし易いとするとこのもえもゆLv.76は起こし易い ; $hypothesis$ = このもえもゆLv.76は起こし易い ; $proof$ = 
__UNKNOWN__
__UNKNOWN__