あのまいまなLv.40はし易くない
fact1: もしなんらかのモンスターは伴い易いとすれば「それは好もしい」ということは嘘でない fact2: もしも「あのまいまなLv.40はし易い一方で意味深くない」ということは成り立たないならあのもちょもわLv.52は垂んとする fact3: あのもちょもわLv.52は垂んとしない fact4: 全てのモンスターは伴い易い
void -> assump1: 以下のように仮定する。「「あのまいまなLv.40はし易いけど意味深くない」ということは間違いだ」ということは確かである; fact2 & assump1 -> int1: あのもちょもわLv.52は垂んとする; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまいまなLv.40はし易いが意味深いということはない; int3 -> hypothesis;
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ({AA}{a} & ¬{AB}{a}); int3 -> hypothesis;
あのまいまなLv.40はし易くない
fact6 -> int4: もしもあのぽえぽいLv.14が伴い易いとしたらそれは好もしい; fact5 -> int5: あのぽえぽいLv.14は伴い易い; int4 & int5 -> int6: あのぽえぽいLv.14は好もしい;
$facts$ = fact1: もしなんらかのモンスターは伴い易いとすれば「それは好もしい」ということは嘘でない fact2: もしも「あのまいまなLv.40はし易い一方で意味深くない」ということは成り立たないならあのもちょもわLv.52は垂んとする fact3: あのもちょもわLv.52は垂んとしない fact4: 全てのモンスターは伴い易い ; $hypothesis$ = あのまいまなLv.40はし易くない ; $proof$ = 
void -> assump1: 以下のように仮定する。「「あのまいまなLv.40はし易いけど意味深くない」ということは間違いだ」ということは確かである; fact2 & assump1 -> int1: あのもちょもわLv.52は垂んとする; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまいまなLv.40はし易いが意味深いということはない; int3 -> hypothesis; __DISPROVED__
void -> assump1: ¬({AA}{a} & ¬{AB}{a}); fact2 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ({AA}{a} & ¬{AB}{a}); int3 -> hypothesis; __DISPROVED__