このまちゃまにゃLv.39は完備しない
fact1: このまちゃまにゃLv.39は高し fact2: あのぴやぴえLv.76が高しということはないならばこのまちゃまにゃLv.39は汚らわしくて加えて完備する fact3: もし仮にこのまちゃまにゃLv.39は完備するかまたは汚らわしいならば「それは高しない」ということは確かだ fact4: もしこのまちゃまにゃLv.39が汚らわしいとすればこのまちゃまにゃLv.39は高しない
void -> assump1: 以下のように仮定する。このまちゃまにゃLv.39は完備する; assump1 -> int1: 「このまちゃまにゃLv.39は完備するかもしくは汚らわしいかどちらもだ」ということは確かだ; int1 & fact3 -> int2: このまちゃまにゃLv.39は高しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis;
以下のように仮定する。このまちゃまにゃLv.39は完備する
$facts$ = fact1: このまちゃまにゃLv.39は高し fact2: あのぴやぴえLv.76が高しということはないならばこのまちゃまにゃLv.39は汚らわしくて加えて完備する fact3: もし仮にこのまちゃまにゃLv.39は完備するかまたは汚らわしいならば「それは高しない」ということは確かだ fact4: もしこのまちゃまにゃLv.39が汚らわしいとすればこのまちゃまにゃLv.39は高しない ; $hypothesis$ = このまちゃまにゃLv.39は完備しない ; $proof$ = 
void -> assump1: 以下のように仮定する。このまちゃまにゃLv.39は完備する; assump1 -> int1: 「このまちゃまにゃLv.39は完備するかもしくは汚らわしいかどちらもだ」ということは確かだ; int1 & fact3 -> int2: このまちゃまにゃLv.39は高しない; int2 & fact1 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; assump1 -> int1: ({A}{a} v {B}{a}); int1 & fact3 -> int2: ¬{C}{a}; int2 & fact1 -> int3: #F#; [assump1] & int3 -> hypothesis; __PROVED__