あのまいまにゃLv.69はこんがらがらない
fact1: もし仮にあのまいまにゃLv.69は示し得るかまたはこんがらがるなら「楽しない」ということは正しい fact2: 楽しないモンスターは示し得るしこんがらがる fact3: 全てのモンスターは確認し難くない fact4: あのまいまにゃLv.69は楽し fact5: 「あのもにゅもいLv.21はこんがらがる」ということは本当である
void -> assump1: 以下のように仮定する。あのまいまにゃLv.69はこんがらがる; assump1 -> int1: あのまいまにゃLv.69は示し得るかこんがらがるかもしくは両方だ; int1 & fact1 -> int2: あのまいまにゃLv.69は楽しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis;
このもやもにLv.41は示し得る
fact6 -> int4: もし「このもやもにLv.41は楽しない」ということは成り立てばこのもやもにLv.41が示し得るしその上こんがらがる; fact7 -> int5: そのぴよぴちゃLv.38は確認し難くない;
$facts$ = fact1: もし仮にあのまいまにゃLv.69は示し得るかまたはこんがらがるなら「楽しない」ということは正しい fact2: 楽しないモンスターは示し得るしこんがらがる fact3: 全てのモンスターは確認し難くない fact4: あのまいまにゃLv.69は楽し fact5: 「あのもにゅもいLv.21はこんがらがる」ということは本当である ; $hypothesis$ = あのまいまにゃLv.69はこんがらがらない ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまいまにゃLv.69はこんがらがる; assump1 -> int1: あのまいまにゃLv.69は示し得るかこんがらがるかもしくは両方だ; int1 & fact1 -> int2: あのまいまにゃLv.69は楽しない; int2 & fact4 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {B}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact1 -> int2: ¬{C}{a}; int2 & fact4 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__