このもにゅもなLv.32は懐かし
fact1: このぴちゅぴにゃLv.21は考え易くて甚だしい fact2: もしもこのぴちゅぴにゃLv.21が甚だしくないとしたらこのぴちゅぴにゃLv.21は甚だししそれにそれは考え易い fact3: もしこのもにゅもなLv.32がくっ付くならそれは懐かし fact4: もしこのぴちゅぴにゃLv.21が甚だしいとするとこのもにゅもなLv.32はくっ付く fact5: くっ付くがしかし甲斐甲斐しいということはないというモンスターはない fact6: このぴちゅぴにゃLv.21は考え易い
fact1 -> int1: このぴちゅぴにゃLv.21は甚だしい; int1 & fact4 -> int2: このもにゅもなLv.32はくっ付く; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis;
このもにゅもなLv.32は懐かしない
fact7 -> int3: 「そのまくまのLv.81はくっ付くけど甲斐甲斐しくない」ということは成り立たない;
$facts$ = fact1: このぴちゅぴにゃLv.21は考え易くて甚だしい fact2: もしもこのぴちゅぴにゃLv.21が甚だしくないとしたらこのぴちゅぴにゃLv.21は甚だししそれにそれは考え易い fact3: もしこのもにゅもなLv.32がくっ付くならそれは懐かし fact4: もしこのぴちゅぴにゃLv.21が甚だしいとするとこのもにゅもなLv.32はくっ付く fact5: くっ付くがしかし甲斐甲斐しいということはないというモンスターはない fact6: このぴちゅぴにゃLv.21は考え易い ; $hypothesis$ = このもにゅもなLv.32は懐かし ; $proof$ = 
fact1 -> int1: このぴちゅぴにゃLv.21は甚だしい; int1 & fact4 -> int2: このもにゅもなLv.32はくっ付く; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 & fact4 -> int2: {C}{b}; int2 & fact3 -> hypothesis; __PROVED__