そのみにょみなLv.89はしても良くない
fact1: しても良くないモンスターは出易くて覚え易い fact2: そのぷにゅぷなLv.82は出易いしおまけに覚え易い fact3: そのぷにゅぷなLv.82は覚え易い fact4: そのぷにゅぷなLv.82はしても良い fact5: もしそのぷにゅぷなLv.82が出易いならそのみにょみなLv.89はしても良い
fact2 -> int1: そのぷにゅぷなLv.82は出易い; int1 & fact5 -> hypothesis;
fact2 -> int1: {A}{a}; int1 & fact5 -> hypothesis;
このもちゃもにゃLv.30は出易い
fact7 -> int2: もし仮にこのもちゃもにゃLv.30がしても良くないならこのもちゃもにゃLv.30は出易いし覚え易い;
$facts$ = fact1: しても良くないモンスターは出易くて覚え易い fact2: そのぷにゅぷなLv.82は出易いしおまけに覚え易い fact3: そのぷにゅぷなLv.82は覚え易い fact4: そのぷにゅぷなLv.82はしても良い fact5: もしそのぷにゅぷなLv.82が出易いならそのみにょみなLv.89はしても良い ; $hypothesis$ = そのみにょみなLv.89はしても良くない ; $proof$ = 
fact2 -> int1: そのぷにゅぷなLv.82は出易い; int1 & fact5 -> hypothesis; __DISPROVED__
fact2 -> int1: {A}{a}; int1 & fact5 -> hypothesis; __DISPROVED__