このみにょみちょLv.8は当て付けがましい
fact1: このみにゃみねLv.24が貢献し得ればこのみにょみちょLv.8は当て付けがましい fact2: このぴえぴにゃLv.58は覚え易い fact3: もしこのぴえぴにゃLv.58は貢献し得ないとしたら「それはブランドらしいしそれに厚ぼったい」ということは間違いである fact4: もし仮にこのぴちょぴねLv.36が厚ぼったいとするとこのみにゃみねLv.24は貢献し得る fact5: このぴえぴにゃLv.58がブランドらしいならばこのぴちょぴねLv.36は厚ぼったい fact6: 仮にこのぴえぴにゃLv.58が覚え易いとしたらそれはブランドらしい fact7: 厚ぼったいモンスターはブランドらしくないし当て付けがましかない
fact6 & fact2 -> int1: このぴえぴにゃLv.58はブランドらしい; fact5 & int1 -> int2: このぴちょぴねLv.36は厚ぼったい; int2 & fact4 -> int3: このみにゃみねLv.24は貢献し得る; int3 & fact1 -> hypothesis;
fact6 & fact2 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{c}; int3 & fact1 -> hypothesis;
このみにょみちょLv.8は当て付けがましいということはない
fact8 -> int4: このみにょみちょLv.8が厚ぼったいならばこのみにょみちょLv.8はブランドらしくないし当て付けがましかない;
$facts$ = fact1: このみにゃみねLv.24が貢献し得ればこのみにょみちょLv.8は当て付けがましい fact2: このぴえぴにゃLv.58は覚え易い fact3: もしこのぴえぴにゃLv.58は貢献し得ないとしたら「それはブランドらしいしそれに厚ぼったい」ということは間違いである fact4: もし仮にこのぴちょぴねLv.36が厚ぼったいとするとこのみにゃみねLv.24は貢献し得る fact5: このぴえぴにゃLv.58がブランドらしいならばこのぴちょぴねLv.36は厚ぼったい fact6: 仮にこのぴえぴにゃLv.58が覚え易いとしたらそれはブランドらしい fact7: 厚ぼったいモンスターはブランドらしくないし当て付けがましかない ; $hypothesis$ = このみにょみちょLv.8は当て付けがましい ; $proof$ = 
fact6 & fact2 -> int1: このぴえぴにゃLv.58はブランドらしい; fact5 & int1 -> int2: このぴちょぴねLv.36は厚ぼったい; int2 & fact4 -> int3: このみにゃみねLv.24は貢献し得る; int3 & fact1 -> hypothesis; __PROVED__
fact6 & fact2 -> int1: {A}{a}; fact5 & int1 -> int2: {B}{b}; int2 & fact4 -> int3: {C}{c}; int3 & fact1 -> hypothesis; __PROVED__