このぷにゅぷゆLv.84は早い
fact1: 「そのぴちょぴのLv.58は更新出来るしまた復する」ということは成り立たない fact2: このもちょもわLv.25はけたたましいけれどすこくない fact3: 仮に「そのぴちょぴのLv.58は更新出来る一方でそれは復しない」ということは誤っていればこのぷにゅぷゆLv.84は早い fact4: もし「そのぴちょぴのLv.58は早いけれど更新出来ない」ということは本当であるということはないならばこのぷにゅぷゆLv.84は早くない fact5: そのぴちょぴのLv.58は復する
void -> assump1: 以下のように仮定する。そのぴちょぴのLv.58は更新出来るが復しない; assump1 -> int1: そのぴちょぴのLv.58は復しない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「そのぴちょぴのLv.58は更新出来るが復しない」ということは本当でない」ということは事実である; int3 & fact3 -> hypothesis;
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a}); int3 & fact3 -> hypothesis;
このぷにゅぷゆLv.84は早いということはない
$facts$ = fact1: 「そのぴちょぴのLv.58は更新出来るしまた復する」ということは成り立たない fact2: このもちょもわLv.25はけたたましいけれどすこくない fact3: 仮に「そのぴちょぴのLv.58は更新出来る一方でそれは復しない」ということは誤っていればこのぷにゅぷゆLv.84は早い fact4: もし「そのぴちょぴのLv.58は早いけれど更新出来ない」ということは本当であるということはないならばこのぷにゅぷゆLv.84は早くない fact5: そのぴちょぴのLv.58は復する ; $hypothesis$ = このぷにゅぷゆLv.84は早い ; $proof$ = 
void -> assump1: 以下のように仮定する。そのぴちょぴのLv.58は更新出来るが復しない; assump1 -> int1: そのぴちょぴのLv.58は復しない; int1 & fact5 -> int2: これは矛盾である; [assump1] & int2 -> int3: 「「そのぴちょぴのLv.58は更新出来るが復しない」ということは本当でない」ということは事実である; int3 & fact3 -> hypothesis; __PROVED__
void -> assump1: ({A}{a} & ¬{B}{a}); assump1 -> int1: ¬{B}{a}; int1 & fact5 -> int2: #F#; [assump1] & int2 -> int3: ¬({A}{a} & ¬{B}{a}); int3 & fact3 -> hypothesis; __PROVED__