あのぷにゅぷよLv.90は尊い
fact1: あのぷなぷなLv.91は切れ易い fact2: 仮に怠いモンスターが忍耐強いとしたらそれは尊くない fact3: あのまのまにLv.52は尊い fact4: 「仮に「あのまのまにLv.52は切れ易くないけど厳めしい」ということは嘘だとしたらあのぷにゅぷよLv.90は尊い」ということは成り立つ fact5: あのぷにゅぷよLv.90は怠くらない fact6: あのまのまにLv.52は怠い fact7: もしもあのまのまにLv.52が切れ易くないがしかし厳めしいならばあのまのまにLv.52は怠いということはない
void -> assump1: 以下のように仮定する。あのまのまにLv.52は切れ易くない一方でそれは厳めしい; fact7 & assump1 -> int1: あのまのまにLv.52は怠くらない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのまのまにLv.52は切れ易くないけれど厳めしい」ということは誤っている; int3 & fact4 -> hypothesis;
void -> assump1: (¬{AA}{a} & {AB}{a}); fact7 & assump1 -> int1: ¬{B}{a}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA}{a} & {AB}{a}); int3 & fact4 -> hypothesis;
「あのぷにゅぷよLv.90は尊くない」ということは成り立つ
fact8 -> int4: もしもあのぷにゅぷよLv.90が怠いしおまけに忍耐強いとするとあのぷにゅぷよLv.90は尊いということはない;
$facts$ = fact1: あのぷなぷなLv.91は切れ易い fact2: 仮に怠いモンスターが忍耐強いとしたらそれは尊くない fact3: あのまのまにLv.52は尊い fact4: 「仮に「あのまのまにLv.52は切れ易くないけど厳めしい」ということは嘘だとしたらあのぷにゅぷよLv.90は尊い」ということは成り立つ fact5: あのぷにゅぷよLv.90は怠くらない fact6: あのまのまにLv.52は怠い fact7: もしもあのまのまにLv.52が切れ易くないがしかし厳めしいならばあのまのまにLv.52は怠いということはない ; $hypothesis$ = あのぷにゅぷよLv.90は尊い ; $proof$ = 
void -> assump1: 以下のように仮定する。あのまのまにLv.52は切れ易くない一方でそれは厳めしい; fact7 & assump1 -> int1: あのまのまにLv.52は怠くらない; int1 & fact6 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「あのまのまにLv.52は切れ易くないけれど厳めしい」ということは誤っている; int3 & fact4 -> hypothesis; __PROVED__
void -> assump1: (¬{AA}{a} & {AB}{a}); fact7 & assump1 -> int1: ¬{B}{a}; int1 & fact6 -> int2: #F#; [assump1] & int2 -> int3: ¬(¬{AA}{a} & {AB}{a}); int3 & fact4 -> hypothesis; __PROVED__