そのみにみやLv.89は意地悪くない
fact1: そのみにみやLv.89は呆気なくて茶色がかる fact2: もしそのもくもにゃLv.63が茶色がかるがしかし呆気なくないとするとそのみにみやLv.89は意地悪い fact3: そのみにみやLv.89が共鳴し易いかもしくはそれが茶色がかるとすればそのみにみやLv.89は意地悪くない fact4: もしもそのぷゆぷくLv.58が共鳴し易くないならそのもくもにゃLv.63は茶色がかる一方で呆気なくない fact5: 幅広いし広しないモンスターは共鳴し易くない
fact1 -> int1: そのみにみやLv.89は茶色がかる; int1 -> int2: そのみにみやLv.89は共鳴し易いかあるいは茶色がかるか両方ともである; int2 & fact3 -> hypothesis;
fact1 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact3 -> hypothesis;
「そのみにみやLv.89は意地悪い」ということは真実だ
fact6 -> int3: もしそのぷゆぷくLv.58が幅広いけれど広しないならばそのぷゆぷくLv.58は共鳴し易くない;
$facts$ = fact1: そのみにみやLv.89は呆気なくて茶色がかる fact2: もしそのもくもにゃLv.63が茶色がかるがしかし呆気なくないとするとそのみにみやLv.89は意地悪い fact3: そのみにみやLv.89が共鳴し易いかもしくはそれが茶色がかるとすればそのみにみやLv.89は意地悪くない fact4: もしもそのぷゆぷくLv.58が共鳴し易くないならそのもくもにゃLv.63は茶色がかる一方で呆気なくない fact5: 幅広いし広しないモンスターは共鳴し易くない ; $hypothesis$ = そのみにみやLv.89は意地悪くない ; $proof$ = 
fact1 -> int1: そのみにみやLv.89は茶色がかる; int1 -> int2: そのみにみやLv.89は共鳴し易いかあるいは茶色がかるか両方ともである; int2 & fact3 -> hypothesis; __PROVED__
fact1 -> int1: {B}{a}; int1 -> int2: ({C}{a} v {B}{a}); int2 & fact3 -> hypothesis; __PROVED__