the reticulum is not a kind of a consumptive.
sent1: that the dolman does prioritize flab is right. sent2: the dolman is not consumptive if the reticulum enhances. sent3: if something does enhance and does not prioritize flab then it is not consumptive. sent4: something either is not a jar or persists flab or both if it does prioritize smothered. sent5: if the transplant is a kind of a Vela that does enhance then the dolman does not enhance. sent6: the transplant prioritizes smothered if there is something such that the fact that it is a zero and it is a chiasmus does not hold. sent7: either something is a consumptive or it does prioritize flab or both if it does not enhance. sent8: something is a kind of a Vela if the fact that it is not a jar or does persist flab or both is not wrong. sent9: the reticulum is not consumptive if the dolman does prioritize flab and/or it enhances. sent10: something does enhance but it does not prioritize flab if it does not jar. sent11: the dolman is not reverse. sent12: something is not a jar and is a Vela if that it does not persist flab hold. sent13: the reticulum is not a consumptive if the dolman does enhance. sent14: there exists something such that that it is zero thing that is a chiasmus is not right. sent15: That the flab does prioritize dolman is right.
sent1 -> int1: the dolman either does prioritize flab or enhances or both.; sent9 & int1 -> hypothesis;
the tiepin is not a consumptive.
sent3 -> int2: if the tiepin does enhance but it does not prioritize flab it is not a consumptive.; sent10 -> int3: the tiepin does enhance and does not prioritize flab if the fact that it is not a jar hold.; sent12 -> int4: the tiepin is not a jar but it is a Vela if it does not persist flab.;
$hypothesis$ = the reticulum is not a kind of a consumptive. ; $context$ = sent1: that the dolman does prioritize flab is right. sent2: the dolman is not consumptive if the reticulum enhances. sent3: if something does enhance and does not prioritize flab then it is not consumptive. sent4: something either is not a jar or persists flab or both if it does prioritize smothered. sent5: if the transplant is a kind of a Vela that does enhance then the dolman does not enhance. sent6: the transplant prioritizes smothered if there is something such that the fact that it is a zero and it is a chiasmus does not hold. sent7: either something is a consumptive or it does prioritize flab or both if it does not enhance. sent8: something is a kind of a Vela if the fact that it is not a jar or does persist flab or both is not wrong. sent9: the reticulum is not consumptive if the dolman does prioritize flab and/or it enhances. sent10: something does enhance but it does not prioritize flab if it does not jar. sent11: the dolman is not reverse. sent12: something is not a jar and is a Vela if that it does not persist flab hold. sent13: the reticulum is not a consumptive if the dolman does enhance. sent14: there exists something such that that it is zero thing that is a chiasmus is not right. sent15: That the flab does prioritize dolman is right. ; $proof$ = 
sent1 -> int1: the dolman either does prioritize flab or enhances or both.; sent9 & int1 -> hypothesis; __PROVED__