そのまやまにょLv.15は見難い
fact1: あのぽちゅぽえLv.32は女性らしい fact2: もし仮にあのみゆみゆLv.15が女性らしいけどそれが用い易くないならばあのぷちゅぷちゃLv.31は女性らしくない fact3: 全てのモンスターは用い易くない fact4: もしそのまやまにょLv.15が成立するとするとあのぽちゅぽえLv.32は成立する fact5: 「あのぽちゅぽえLv.32は女性らしい」ということは正しいとするとそのまやまにょLv.15は致候う fact6: 仮にそのまやまにょLv.15が用い易いならばそれは見難くない fact7: もしもそのまやまにょLv.15が致候うかまたは用い易いとすればそのまやまにょLv.15は見難くない fact8: このぴにゅぴちゃLv.14は致候う
fact5 & fact1 -> int1: そのまやまにょLv.15は致候う; int1 -> int2: そのまやまにょLv.15は致候うかもしくは用い易いかまたは両方ともだ; int2 & fact7 -> hypothesis;
fact5 & fact1 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact7 -> hypothesis;
そのまやまにょLv.15は見難い
fact9 -> int3: あのぽちゅぽえLv.32は用い易いということはない;
$facts$ = fact1: あのぽちゅぽえLv.32は女性らしい fact2: もし仮にあのみゆみゆLv.15が女性らしいけどそれが用い易くないならばあのぷちゅぷちゃLv.31は女性らしくない fact3: 全てのモンスターは用い易くない fact4: もしそのまやまにょLv.15が成立するとするとあのぽちゅぽえLv.32は成立する fact5: 「あのぽちゅぽえLv.32は女性らしい」ということは正しいとするとそのまやまにょLv.15は致候う fact6: 仮にそのまやまにょLv.15が用い易いならばそれは見難くない fact7: もしもそのまやまにょLv.15が致候うかまたは用い易いとすればそのまやまにょLv.15は見難くない fact8: このぴにゅぴちゃLv.14は致候う ; $hypothesis$ = そのまやまにょLv.15は見難い ; $proof$ = 
fact5 & fact1 -> int1: そのまやまにょLv.15は致候う; int1 -> int2: そのまやまにょLv.15は致候うかもしくは用い易いかまたは両方ともだ; int2 & fact7 -> hypothesis; __DISPROVED__
fact5 & fact1 -> int1: {B}{b}; int1 -> int2: ({B}{b} v {C}{b}); int2 & fact7 -> hypothesis; __DISPROVED__