あのまにゃまなLv.32は腹立たしい
fact1: このみにみにLv.84は湿気易い fact2: もしもそのもちゅもえLv.55がむず痒いとすればあのまにゃまなLv.32は腹立たしい fact3: もしこのみにみにLv.84が湿気易いならあのまちょまゆLv.94は地中深い fact4: もしあのまちょまゆLv.94が地中深いとすればそのもちゅもえLv.55はむず痒い
fact3 & fact1 -> int1: あのまちょまゆLv.94は地中深い; int1 & fact4 -> int2: そのもちゅもえLv.55はむず痒い; int2 & fact2 -> hypothesis;
fact3 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact2 -> hypothesis;
$facts$ = fact1: このみにみにLv.84は湿気易い fact2: もしもそのもちゅもえLv.55がむず痒いとすればあのまにゃまなLv.32は腹立たしい fact3: もしこのみにみにLv.84が湿気易いならあのまちょまゆLv.94は地中深い fact4: もしあのまちょまゆLv.94が地中深いとすればそのもちゅもえLv.55はむず痒い ; $hypothesis$ = あのまにゃまなLv.32は腹立たしい ; $proof$ = 
fact3 & fact1 -> int1: あのまちょまゆLv.94は地中深い; int1 & fact4 -> int2: そのもちゅもえLv.55はむず痒い; int2 & fact2 -> hypothesis; __PROVED__
fact3 & fact1 -> int1: {B}{b}; int1 & fact4 -> int2: {C}{c}; int2 & fact2 -> hypothesis; __PROVED__