the koumiss does send koumiss and it is pentavalent.
sent1: if there is something such that the fact that it is not a catchment and it is not a columbite-tantalite does not hold the bullock is a capstan. sent2: if the koumiss is a occiput then it is pentavalent. sent3: if the bullock is a capstan the koumiss is a occiput. sent4: if something is a columbite-tantalite the fact that it is both an aqueduct and not a catchment hold. sent5: that the moat is not a catchment and not a columbite-tantalite is false if something is an aqueduct. sent6: there exists something such that it is an aqueduct. sent7: the syncretism is not a kind of a flotation. sent8: the fact that that the koumiss is the flotation is true if the koumiss does send koumiss is true. sent9: if there is something such that it is not a flotation then the koumiss does send koumiss and it is a substitute.
sent6 & sent5 -> int1: the fact that the moat is not a catchment and not a columbite-tantalite is false.; int1 -> int2: there is something such that the fact that it is not a catchment and not a columbite-tantalite is not correct.; int2 & sent1 -> int3: the bullock is a capstan.; int3 & sent3 -> int4: the koumiss is a kind of a occiput.; int4 & sent2 -> int5: the koumiss is pentavalent.; sent7 -> int6: there exists something such that it is not a flotation.; int6 & sent9 -> int7: the koumiss sends koumiss and it does substitute.; int7 -> int8: the koumiss does send koumiss.; int5 & int8 -> hypothesis;
there is something such that it is not hypodermal.
sent4 -> int9: the bullock is an aqueduct but it is not a kind of a catchment if it is a columbite-tantalite.;
$hypothesis$ = the koumiss does send koumiss and it is pentavalent. ; $context$ = sent1: if there is something such that the fact that it is not a catchment and it is not a columbite-tantalite does not hold the bullock is a capstan. sent2: if the koumiss is a occiput then it is pentavalent. sent3: if the bullock is a capstan the koumiss is a occiput. sent4: if something is a columbite-tantalite the fact that it is both an aqueduct and not a catchment hold. sent5: that the moat is not a catchment and not a columbite-tantalite is false if something is an aqueduct. sent6: there exists something such that it is an aqueduct. sent7: the syncretism is not a kind of a flotation. sent8: the fact that that the koumiss is the flotation is true if the koumiss does send koumiss is true. sent9: if there is something such that it is not a flotation then the koumiss does send koumiss and it is a substitute. ; $proof$ = 
sent6 & sent5 -> int1: the fact that the moat is not a catchment and not a columbite-tantalite is false.; int1 -> int2: there is something such that the fact that it is not a catchment and not a columbite-tantalite is not correct.; int2 & sent1 -> int3: the bullock is a capstan.; int3 & sent3 -> int4: the koumiss is a kind of a occiput.; int4 & sent2 -> int5: the koumiss is pentavalent.; sent7 -> int6: there exists something such that it is not a flotation.; int6 & sent9 -> int7: the koumiss sends koumiss and it does substitute.; int7 -> int8: the koumiss does send koumiss.; int5 & int8 -> hypothesis; __PROVED__