このみちゅみえLv.65は高しし着せがましい
fact1: っ早いモンスターは女の子らしいが遅くない fact2: もし仮にとあるモンスターは御辛くないとすれば「高しししかも着せがましい」ということは成り立たない fact3: このぷにゃぷゆLv.31は御辛くない fact4: もしそのみゆみにゃLv.83が着せがましかないならばこのみちゅみえLv.65は高しし着せがましい fact5: もしもそのみゆみにゃLv.83がっ早いならこのみちゅみえLv.65はっ早い fact6: もしこのみちゅみえLv.65が女の子らしい一方で遅くないとすると御辛くない fact7: そのみゆみにゃLv.83が着せがましかないがそれは遅いとすれば「このぽゆぽくLv.25は御辛い」ということは成り立つ fact8: もし仮にそのみゆみにゃLv.83が着せがましいとしたらこのぷにゃぷゆLv.31は御辛い
void -> assump1: 以下のように仮定する。そのみゆみにゃLv.83は着せがましい; fact8 & assump1 -> int1: このぷにゃぷゆLv.31は御辛い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのみゆみにゃLv.83は着せがましかない; int3 & fact4 -> hypothesis;
void -> assump1: {A}{a}; fact8 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact4 -> hypothesis;
「このみちゅみえLv.65は高ししおまけに着せがましい」ということは正しくない
fact11 -> int4: もし「このみちゅみえLv.65は御辛くない」ということは成り立つとしたら「それは高ししおまけに着せがましい」ということは間違っている; fact12 -> int5: このみちゅみえLv.65がっ早いとするとこのみちゅみえLv.65は女の子らしい一方でそれは遅くない;
$facts$ = fact1: っ早いモンスターは女の子らしいが遅くない fact2: もし仮にとあるモンスターは御辛くないとすれば「高しししかも着せがましい」ということは成り立たない fact3: このぷにゃぷゆLv.31は御辛くない fact4: もしそのみゆみにゃLv.83が着せがましかないならばこのみちゅみえLv.65は高しし着せがましい fact5: もしもそのみゆみにゃLv.83がっ早いならこのみちゅみえLv.65はっ早い fact6: もしこのみちゅみえLv.65が女の子らしい一方で遅くないとすると御辛くない fact7: そのみゆみにゃLv.83が着せがましかないがそれは遅いとすれば「このぽゆぽくLv.25は御辛い」ということは成り立つ fact8: もし仮にそのみゆみにゃLv.83が着せがましいとしたらこのぷにゃぷゆLv.31は御辛い ; $hypothesis$ = このみちゅみえLv.65は高しし着せがましい ; $proof$ = 
void -> assump1: 以下のように仮定する。そのみゆみにゃLv.83は着せがましい; fact8 & assump1 -> int1: このぷにゃぷゆLv.31は御辛い; int1 & fact3 -> int2: これは矛盾である; [assump1] & int2 -> int3: そのみゆみにゃLv.83は着せがましかない; int3 & fact4 -> hypothesis; __PROVED__
void -> assump1: {A}{a}; fact8 & assump1 -> int1: {B}{b}; int1 & fact3 -> int2: #F#; [assump1] & int2 -> int3: ¬{A}{a}; int3 & fact4 -> hypothesis; __PROVED__