something does consider chinked or it is a kind of a ladle or both.
sent1: the detritus is a Gliridae and it does serenade Kami. sent2: if something does not serenade Kami and is not a Gliridae it is eccrine. sent3: if the Pepto-bismal serenades Kami the detritus is a kind of a ladle. sent4: there is nothing such that it considers chinked and does ladle. sent5: something is eccrine if it is a Gliridae. sent6: the detritus does coordinate blinker if that it is an orbit hold. sent7: the detritus does serenade Kami. sent8: the Pepto-bismal is eccrine. sent9: the Pepto-bismal is eccrine if the detritus is a kind of a ladle. sent10: if the detritus is eccrine then the Pepto-bismal is a kind of a ladle. sent11: the stillness is a Gliridae if the detritus serenades Kami but it is not eccrine. sent12: that something is knee-length if it disposes is not incorrect. sent13: the point is both a chopsteak and a Chapman.
sent1 -> int1: the detritus is a Gliridae.; sent5 -> int2: if the fact that the detritus is a kind of a Gliridae hold it is eccrine.; int1 & int2 -> int3: the detritus is eccrine.; int3 & sent10 -> int4: the Pepto-bismal ladles.; int4 -> int5: the Pepto-bismal considers chinked and/or it is a kind of a ladle.; int5 -> hypothesis;
the plan is eccrine.
sent2 -> int6: if the plan does not serenade Kami and is not a kind of a Gliridae then it is eccrine.; sent4 -> int7: that the detritus considers chinked and it is a ladle is not true.; int7 -> int8: there is something such that the fact that it does consider chinked and it ladles is false.;
$hypothesis$ = something does consider chinked or it is a kind of a ladle or both. ; $context$ = sent1: the detritus is a Gliridae and it does serenade Kami. sent2: if something does not serenade Kami and is not a Gliridae it is eccrine. sent3: if the Pepto-bismal serenades Kami the detritus is a kind of a ladle. sent4: there is nothing such that it considers chinked and does ladle. sent5: something is eccrine if it is a Gliridae. sent6: the detritus does coordinate blinker if that it is an orbit hold. sent7: the detritus does serenade Kami. sent8: the Pepto-bismal is eccrine. sent9: the Pepto-bismal is eccrine if the detritus is a kind of a ladle. sent10: if the detritus is eccrine then the Pepto-bismal is a kind of a ladle. sent11: the stillness is a Gliridae if the detritus serenades Kami but it is not eccrine. sent12: that something is knee-length if it disposes is not incorrect. sent13: the point is both a chopsteak and a Chapman. ; $proof$ = 
sent1 -> int1: the detritus is a Gliridae.; sent5 -> int2: if the fact that the detritus is a kind of a Gliridae hold it is eccrine.; int1 & int2 -> int3: the detritus is eccrine.; int3 & sent10 -> int4: the Pepto-bismal ladles.; int4 -> int5: the Pepto-bismal considers chinked and/or it is a kind of a ladle.; int5 -> hypothesis; __PROVED__