このもなもにゃLv.27は馬鹿でかいしおまけに吹く
fact1: もしもこのもなもにゃLv.27が騒がしいとすればそれは馬鹿でかい fact2: このもなもにゃLv.27は吹く fact3: もし「何らかのモンスターは接近し易くて加えて受諾する」ということは成り立たないとしたら吹かない fact4: このもなもにゃLv.27はあくどいししかも騒がしい fact5: 何らかのモンスターがあくどいとすればそれは騒がしい fact6: もし仮にこのもなもにゃLv.27が吹かないとしたらそのぴちゃぴちゅLv.1は馬鹿でかいしさらにそれはあくどい
fact4 -> int1: このもなもにゃLv.27は騒がしい; int1 & fact1 -> int2: このもなもにゃLv.27は馬鹿でかい; int2 & fact2 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis;
そのぴちゃぴちゅLv.1は騒がしい
fact7 -> int3: 仮にそのぴちゃぴちゅLv.1があくどいならそのぴちゃぴちゅLv.1は騒がしい; fact9 -> int4: 「このもなもにゃLv.27は接近し易くて更に受諾する」ということは間違っているとしたら吹かない;
$facts$ = fact1: もしもこのもなもにゃLv.27が騒がしいとすればそれは馬鹿でかい fact2: このもなもにゃLv.27は吹く fact3: もし「何らかのモンスターは接近し易くて加えて受諾する」ということは成り立たないとしたら吹かない fact4: このもなもにゃLv.27はあくどいししかも騒がしい fact5: 何らかのモンスターがあくどいとすればそれは騒がしい fact6: もし仮にこのもなもにゃLv.27が吹かないとしたらそのぴちゃぴちゅLv.1は馬鹿でかいしさらにそれはあくどい ; $hypothesis$ = このもなもにゃLv.27は馬鹿でかいしおまけに吹く ; $proof$ = 
fact4 -> int1: このもなもにゃLv.27は騒がしい; int1 & fact1 -> int2: このもなもにゃLv.27は馬鹿でかい; int2 & fact2 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact1 -> int2: {C}{a}; int2 & fact2 -> hypothesis; __PROVED__