「あのみちゅみにゃLv.51は御固くないけどそれは誇らしい」ということは誤っている
fact1: あのみちゅみにゃLv.51は誇らしい fact2: 仮にあるモンスターが供するとすると忘れっぽい fact3: あのもくもにゅLv.20は忘れっぽくない fact4: もし仮にあのもくもにゅLv.20が見比べないならばあのみちゅみにゃLv.51は御固いということはないが誇らしい fact5: 忘れっぽいモンスターは見比べる fact6: もし仮にあるモンスターは見比べれば「御固くなくてさらにそれは誇らしい」ということは偽である fact7: もしもあのもくもにゅLv.20が見比べるとしたらそれは忘れっぽい
void -> assump1: 以下のように仮定する。あのもくもにゅLv.20は見比べる; fact7 & assump1 -> int1: あのもくもにゅLv.20は忘れっぽい; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのもくもにゅLv.20は見比べない; int3 & fact4 -> hypothesis;
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact4 -> hypothesis;
「あのみちゅみにゃLv.51は御固くないけどそれは誇らしい」ということは誤っている
fact8 -> int4: もしもあのみちゅみにゃLv.51は見比べるなら「御固くないがしかし誇らしい」ということは誤りである; fact10 -> int5: もしあのみちゅみにゃLv.51が忘れっぽいとするとあのみちゅみにゃLv.51は見比べる; fact9 -> int6: もしもあのみちゅみにゃLv.51が供するならあのみちゅみにゃLv.51は忘れっぽい;
$facts$ = fact1: あのみちゅみにゃLv.51は誇らしい fact2: 仮にあるモンスターが供するとすると忘れっぽい fact3: あのもくもにゅLv.20は忘れっぽくない fact4: もし仮にあのもくもにゅLv.20が見比べないならばあのみちゅみにゃLv.51は御固いということはないが誇らしい fact5: 忘れっぽいモンスターは見比べる fact6: もし仮にあるモンスターは見比べれば「御固くなくてさらにそれは誇らしい」ということは偽である fact7: もしもあのもくもにゅLv.20が見比べるとしたらそれは忘れっぽい ; $hypothesis$ = 「あのみちゅみにゃLv.51は御固くないけどそれは誇らしい」ということは誤っている ; $proof$ = 
void -> assump1: 以下のように仮定する。あのもくもにゅLv.20は見比べる; fact7 & assump1 -> int1: あのもくもにゅLv.20は忘れっぽい; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: あのもくもにゅLv.20は見比べない; int3 & fact4 -> hypothesis; __DISPROVED__
void -> assump1: {A}{a}; fact7 & assump1 -> int1: {B}{a}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact4 -> hypothesis; __DISPROVED__