このみにゅみゆLv.9は満足す
fact1: 仲間らしくないモンスターはすばしっこいかもしくは満足すかもしくは両方ともだ fact2: もしもこのみにゅみゆLv.9が得易いけれどそれが繋がり得ないとすればこのみにゅみゆLv.9はすばしっこくない fact3: このみにゅみゆLv.9はすばしっこい fact4: 仮に「このみにゅみゆLv.9は得易いけれどそれは繋がり得ない」ということは間違っているとしたらそれは満足すらない fact5: このみにゅみゆLv.9は得易い
void -> assump1: 以下のように仮定する。このみにゅみゆLv.9は得易いがしかし繋がり得ない; fact2 & assump1 -> int1: このみにゅみゆLv.9はすばしっこくない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このみにゅみゆLv.9は得易いけど繋がり得るということはない」ということは偽だ; int3 & fact4 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬({AA}{a} & ¬{AB}{a}); int3 & fact4 -> hypothesis;
このみにゅみゆLv.9は満足す
fact6 -> int4: もしあのもよもいLv.33が仲間らしくないとすればそれはすばしっこいかもしくはそれは満足す;
$facts$ = fact1: 仲間らしくないモンスターはすばしっこいかもしくは満足すかもしくは両方ともだ fact2: もしもこのみにゅみゆLv.9が得易いけれどそれが繋がり得ないとすればこのみにゅみゆLv.9はすばしっこくない fact3: このみにゅみゆLv.9はすばしっこい fact4: 仮に「このみにゅみゆLv.9は得易いけれどそれは繋がり得ない」ということは間違っているとしたらそれは満足すらない fact5: このみにゅみゆLv.9は得易い ; $hypothesis$ = このみにゅみゆLv.9は満足す ; $proof$ = 
void -> assump1: 以下のように仮定する。このみにゅみゆLv.9は得易いがしかし繋がり得ない; fact2 & assump1 -> int1: このみにゅみゆLv.9はすばしっこくない; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「このみにゅみゆLv.9は得易いけど繋がり得るということはない」ということは偽だ; int3 & fact4 -> hypothesis; __DISPROVED__
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: ¬{B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬({AA}{a} & ¬{AB}{a}); int3 & fact4 -> hypothesis; __DISPROVED__