以下のように仮定する。あのまねまねLv.70はめでたしけど蓄積され易くない
fact1: もし仮にあのまねまねLv.70がめでたしけど蓄積され易くないとすればこのぴにぴよLv.27は再送する fact2: このぴにぴよLv.27は再送しない fact3: 受け辛くないモンスターはめでたしけれど蓄積され易くない fact4: このぴにぴよLv.27は生白い一方で蓄積され易いということはない fact5: あらゆるモンスターは狂おしい
void -> assump1: 以下のように仮定する。あのまねまねLv.70はめでたしけど蓄積され易くない; fact1 & assump1 -> int1: このぴにぴよLv.27は再送する; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis;
あのまねまねLv.70は送るけど小汚くない
fact6 -> int3: このぴにぴよLv.27は狂おしい;
$facts$ = fact1: もし仮にあのまねまねLv.70がめでたしけど蓄積され易くないとすればこのぴにぴよLv.27は再送する fact2: このぴにぴよLv.27は再送しない fact3: 受け辛くないモンスターはめでたしけれど蓄積され易くない fact4: このぴにぴよLv.27は生白い一方で蓄積され易いということはない fact5: あらゆるモンスターは狂おしい ; $hypothesis$ = 以下のように仮定する。あのまねまねLv.70はめでたしけど蓄積され易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまねまねLv.70はめでたしけど蓄積され易くない; fact1 & assump1 -> int1: このぴにぴよLv.27は再送する; int1 & fact2 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __DISPROVED__
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: {B}{b}; int1 & fact2 -> int2: #F#; [assump1] & int2 -> hypothesis; __DISPROVED__