「このまちゅまいLv.24は入手するけれどみっとも可愛いということはない」ということは誤りである
fact1: 「このまちゅまいLv.24は入手するけれどみっとも可愛くない」ということは誤りでないとするとどぎつい fact2: 腑甲斐無くないモンスターは入手するがみっとも可愛くない fact3: もし仮にこのもちょもよLv.79が腑甲斐無いかあるいはそれがどぎついかあるいは両方であるとすればこのまちゅまいLv.24は腑甲斐無くない fact4: このまちゅまいLv.24はどぎつかない
void -> assump1: 以下のように仮定する。このまちゅまいLv.24は入手するけどみっとも可愛くない; fact1 & assump1 -> int1: このまちゅまいLv.24はどぎつい; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis;
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis;
以下のように仮定する。このまちゅまいLv.24は入手するけどみっとも可愛くない
fact5 -> int3: もしこのまちゅまいLv.24が腑甲斐無くないとしたらそれは入手する一方でみっとも可愛くない;
$facts$ = fact1: 「このまちゅまいLv.24は入手するけれどみっとも可愛くない」ということは誤りでないとするとどぎつい fact2: 腑甲斐無くないモンスターは入手するがみっとも可愛くない fact3: もし仮にこのもちょもよLv.79が腑甲斐無いかあるいはそれがどぎついかあるいは両方であるとすればこのまちゅまいLv.24は腑甲斐無くない fact4: このまちゅまいLv.24はどぎつかない ; $hypothesis$ = 「このまちゅまいLv.24は入手するけれどみっとも可愛いということはない」ということは誤りである ; $proof$ = 
void -> assump1: 以下のように仮定する。このまちゅまいLv.24は入手するけどみっとも可愛くない; fact1 & assump1 -> int1: このまちゅまいLv.24はどぎつい; int1 & fact4 -> int2: これは矛盾である; [assump1] & int2 -> hypothesis; __PROVED__
void -> assump1: ({AA}{a} & ¬{AB}{a}); fact1 & assump1 -> int1: {B}{a}; int1 & fact4 -> int2: #F#; [assump1] & int2 -> hypothesis; __PROVED__