あのぽくぽくLv.37は供与するということはない
fact1: あのもねもよLv.87は唱えるしそれは毛深い fact2: そのみにゃみえLv.42は移り始めるかまたはそれは面白いかもしくはどちらもだ fact3: そのみにゃみえLv.42は面白いかもしくは供与する fact4: 仮にそのみにゃみえLv.42が面白いならばあのぽくぽくLv.37はださい fact5: 仮にそのみにゃみえLv.42が移り始めるとしたらあのぽくぽくLv.37はださい fact6: あのぽくぽくLv.37は細まる fact7: もしあのぽくぽくLv.37が唱えるならそのみにゃみえLv.42は供与する fact8: あのぽくぽくLv.37は唱える fact9: もしもあのぽくぽくLv.37がださいしそれに唱えるとすればあのぽくぽくLv.37は供与しない
fact2 & fact5 & fact4 -> int1: あのぽくぽくLv.37はださい; int1 & fact8 -> int2: あのぽくぽくLv.37はださいし加えて唱える; int2 & fact9 -> hypothesis;
fact2 & fact5 & fact4 -> int1: {C}{c}; int1 & fact8 -> int2: ({C}{c} & {D}{c}); int2 & fact9 -> hypothesis;
$facts$ = fact1: あのもねもよLv.87は唱えるしそれは毛深い fact2: そのみにゃみえLv.42は移り始めるかまたはそれは面白いかもしくはどちらもだ fact3: そのみにゃみえLv.42は面白いかもしくは供与する fact4: 仮にそのみにゃみえLv.42が面白いならばあのぽくぽくLv.37はださい fact5: 仮にそのみにゃみえLv.42が移り始めるとしたらあのぽくぽくLv.37はださい fact6: あのぽくぽくLv.37は細まる fact7: もしあのぽくぽくLv.37が唱えるならそのみにゃみえLv.42は供与する fact8: あのぽくぽくLv.37は唱える fact9: もしもあのぽくぽくLv.37がださいしそれに唱えるとすればあのぽくぽくLv.37は供与しない ; $hypothesis$ = あのぽくぽくLv.37は供与するということはない ; $proof$ = 
fact2 & fact5 & fact4 -> int1: あのぽくぽくLv.37はださい; int1 & fact8 -> int2: あのぽくぽくLv.37はださいし加えて唱える; int2 & fact9 -> hypothesis; __PROVED__
fact2 & fact5 & fact4 -> int1: {C}{c}; int1 & fact8 -> int2: ({C}{c} & {D}{c}); int2 & fact9 -> hypothesis; __PROVED__