「あのぷなぷよLv.54はちょろまかさないがしかし用い易い」ということは事実と異なる
fact1: あのまにゅまわLv.84は入れ易い fact2: もしも「あのぷなぷよLv.54は睦まじいがそれは遣り難くない」ということは事実と異なればあのぷなぷよLv.54は絶え難くない fact3: もし仮にあのまにゅまわLv.84はちょろまかすということはないとしたら「「あのぷなぷよLv.54はちょろまかさないけれど絶え難い」ということは事実と異なる」ということは本当である fact4: もしも「あのまにゅまわLv.84はちょろまかす」ということは真実だとするとそれは絶え難い fact5: あのまにゅまわLv.84は絶え難くない fact6: もし仮にあのまにゅまわLv.84はちょろまかさないとすれば「あのぷなぷよLv.54はちょろまかさないけれど用い易い」ということは成り立たない fact7: そのぽにゅぽよLv.36は用い易くない
void -> assump1: 以下のように仮定する。あのまにゅまわLv.84はちょろまかす; fact4 & assump1 -> int1: あのまにゅまわLv.84は絶え難い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまにゅまわLv.84はちょろまかすということはない; int3 & fact6 -> hypothesis;
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact6 -> hypothesis;
あのぷなぷよLv.54はちょろまかさないがそれは用い易い
$facts$ = fact1: あのまにゅまわLv.84は入れ易い fact2: もしも「あのぷなぷよLv.54は睦まじいがそれは遣り難くない」ということは事実と異なればあのぷなぷよLv.54は絶え難くない fact3: もし仮にあのまにゅまわLv.84はちょろまかすということはないとしたら「「あのぷなぷよLv.54はちょろまかさないけれど絶え難い」ということは事実と異なる」ということは本当である fact4: もしも「あのまにゅまわLv.84はちょろまかす」ということは真実だとするとそれは絶え難い fact5: あのまにゅまわLv.84は絶え難くない fact6: もし仮にあのまにゅまわLv.84はちょろまかさないとすれば「あのぷなぷよLv.54はちょろまかさないけれど用い易い」ということは成り立たない fact7: そのぽにゅぽよLv.36は用い易くない ; $hypothesis$ = 「あのぷなぷよLv.54はちょろまかさないがしかし用い易い」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまにゅまわLv.84はちょろまかす; fact4 & assump1 -> int1: あのまにゅまわLv.84は絶え難い; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのまにゅまわLv.84はちょろまかすということはない; int3 & fact6 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact4 & assump1 -> int1: {B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact6 -> hypothesis; __PROVED__