以下のように仮定する。そのみゆみにLv.14は宜し
fact1: このまにまにLv.6は塩揉みする fact2: もしこのまにまにLv.6が太り易いかもしくは宜しなら「そのみゆみにLv.14は塩揉みしない」ということは正しい fact3: 仮にそのみゆみにLv.14が太り易いとしたらそのぷにゃぷのLv.25は宜しない fact4: 仮にそのみゆみにLv.14が宜しかまたは太り易いとしたらこのまにまにLv.6は塩揉みしない fact5: 太り易いモンスターは宜し fact6: もしそのみゆみにLv.14が宜しかもしくは塩揉みするかもしくは両方だとするとこのまにまにLv.6は太り易くない
void -> assump1: 以下のように仮定する。そのみゆみにLv.14は宜し; assump1 -> int1: そのみゆみにLv.14は宜しかもしくは太り易いか両方だ; int1 & fact4 -> int2: このまにまにLv.6は塩揉みするということはない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
そのぷにゃぷのLv.25は宜しない
$facts$ = fact1: このまにまにLv.6は塩揉みする fact2: もしこのまにまにLv.6が太り易いかもしくは宜しなら「そのみゆみにLv.14は塩揉みしない」ということは正しい fact3: 仮にそのみゆみにLv.14が太り易いとしたらそのぷにゃぷのLv.25は宜しない fact4: 仮にそのみゆみにLv.14が宜しかまたは太り易いとしたらこのまにまにLv.6は塩揉みしない fact5: 太り易いモンスターは宜し fact6: もしそのみゆみにLv.14が宜しかもしくは塩揉みするかもしくは両方だとするとこのまにまにLv.6は太り易くない ; $hypothesis$ = 以下のように仮定する。そのみゆみにLv.14は宜し ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみゆみにLv.14は宜し; assump1 -> int1: そのみゆみにLv.14は宜しかもしくは太り易いか両方だ; int1 & fact4 -> int2: このまにまにLv.6は塩揉みするということはない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact4 -> int2: ¬{C}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __DISPROVED__