そのぴえぴにLv.89は共鳴し易い
fact1: もし仮にこのまちゃまちゃLv.16は黒いということはなくてそれに寿がないとしたらそれは賢し fact2: あのみよみゆLv.28が寿ぐしまた出し難いとするとそのぴえぴにLv.89は共鳴し易い fact3: あのみよみゆLv.28が寿ぐが出し難くないとしたらそのぴえぴにLv.89は共鳴し易い fact4: このまちゃまちゃLv.16が賢ししその上出し難い fact5: そのぴえぴにLv.89は細分化する fact6: もしなにがしかのモンスターが賢しないとすると共鳴し易くない fact7: 仮にこのまちゃまちゃLv.16が出し難いとすればあのみよみゆLv.28は寿ぐけれど出し難くない fact8: そのぴえぴにLv.89は賢し
fact4 -> int1: このまちゃまちゃLv.16は出し難い; int1 & fact7 -> int2: あのみよみゆLv.28は寿ぐが出し難くない; int2 & fact3 -> hypothesis;
fact4 -> int1: {B}{a}; int1 & fact7 -> int2: ({C}{b} & ¬{B}{b}); int2 & fact3 -> hypothesis;
そのぴえぴにLv.89は共鳴し易いということはない
fact9 -> int3: 仮にそのぴえぴにLv.89が賢しないならそのぴえぴにLv.89は共鳴し易くない;
$facts$ = fact1: もし仮にこのまちゃまちゃLv.16は黒いということはなくてそれに寿がないとしたらそれは賢し fact2: あのみよみゆLv.28が寿ぐしまた出し難いとするとそのぴえぴにLv.89は共鳴し易い fact3: あのみよみゆLv.28が寿ぐが出し難くないとしたらそのぴえぴにLv.89は共鳴し易い fact4: このまちゃまちゃLv.16が賢ししその上出し難い fact5: そのぴえぴにLv.89は細分化する fact6: もしなにがしかのモンスターが賢しないとすると共鳴し易くない fact7: 仮にこのまちゃまちゃLv.16が出し難いとすればあのみよみゆLv.28は寿ぐけれど出し難くない fact8: そのぴえぴにLv.89は賢し ; $hypothesis$ = そのぴえぴにLv.89は共鳴し易い ; $proof$ = 
fact4 -> int1: このまちゃまちゃLv.16は出し難い; int1 & fact7 -> int2: あのみよみゆLv.28は寿ぐが出し難くない; int2 & fact3 -> hypothesis; __PROVED__
fact4 -> int1: {B}{a}; int1 & fact7 -> int2: ({C}{b} & ¬{B}{b}); int2 & fact3 -> hypothesis; __PROVED__