そのまにゅまゆLv.78は攻め倦まない
fact1: 仮にそのまにゅまゆLv.78が齎し易いとすればあのまゆまにゃLv.31は攻め倦む fact2: 面白いモンスターは攻め倦むが齎し易くない fact3: そのまにゅまゆLv.78は攻め倦むなら「あのまゆまにゃLv.31は齎し易い」ということは正しい fact4: あのまゆまにゃLv.31は齎し易くない fact5: そのまにゅまゆLv.78は住み良くない
void -> assump1: 以下のように仮定する。そのまにゅまゆLv.78は攻め倦む; fact3 & assump1 -> int1: あのまゆまにゃLv.31は齎し易い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。そのまにゅまゆLv.78は攻め倦む
fact6 -> int3: もし仮にそのまにゅまゆLv.78が面白いとするとそのまにゅまゆLv.78は攻め倦むけれどそれは齎し易くない;
$facts$ = fact1: 仮にそのまにゅまゆLv.78が齎し易いとすればあのまゆまにゃLv.31は攻め倦む fact2: 面白いモンスターは攻め倦むが齎し易くない fact3: そのまにゅまゆLv.78は攻め倦むなら「あのまゆまにゃLv.31は齎し易い」ということは正しい fact4: あのまゆまにゃLv.31は齎し易くない fact5: そのまにゅまゆLv.78は住み良くない ; $hypothesis$ = そのまにゅまゆLv.78は攻め倦まない ; $proof$ = 
void -> assump1: 以下のように仮定する。そのまにゅまゆLv.78は攻め倦む; fact3 & assump1 -> int1: あのまゆまにゃLv.31は齎し易い; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact3 & assump1 -> int1: {B}{b}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__