そのもなもえLv.50は感慨深い
fact1: そのまちゃまねLv.12は払い渡す fact2: 「そのまちゃまねLv.12は感慨深くない」ということは事実だ fact3: そのもなもえLv.50は感慨深くないとすると「すごーいけど責め殺すということはない」ということは成り立たない fact4: もしも「そのもなもえLv.50はすごーい一方でそれは責め殺すということはない」ということは本当であるということはないとしたらそのまちゃまねLv.12は払い渡さない
void -> assump1: 以下のように仮定する。そのもなもえLv.50は感慨深いということはない; fact3 & assump1 -> int1: 「そのもなもえLv.50はすごーいけれど責め殺さない」ということは誤っている; int1 & fact4 -> int2: そのまちゃまねLv.12は払い渡さない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: ¬{A}{a}; fact3 & assump1 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact4 -> int2: ¬{B}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
$facts$ = fact1: そのまちゃまねLv.12は払い渡す fact2: 「そのまちゃまねLv.12は感慨深くない」ということは事実だ fact3: そのもなもえLv.50は感慨深くないとすると「すごーいけど責め殺すということはない」ということは成り立たない fact4: もしも「そのもなもえLv.50はすごーい一方でそれは責め殺すということはない」ということは本当であるということはないとしたらそのまちゃまねLv.12は払い渡さない ; $hypothesis$ = そのもなもえLv.50は感慨深い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのもなもえLv.50は感慨深いということはない; fact3 & assump1 -> int1: 「そのもなもえLv.50はすごーいけれど責め殺さない」ということは誤っている; int1 & fact4 -> int2: そのまちゃまねLv.12は払い渡さない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: ¬{A}{a}; fact3 & assump1 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 & fact4 -> int2: ¬{B}{b}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__