something is a thread and it is a kind of a Herbart.
sent1: the capacitance is bare. sent2: if something is not a mutant then the fact that it is not intimal and it is a Jezebel is not correct. sent3: the bichromate is seedy. sent4: if the fact that the bloodroot is Gilbertian and/or it is a Very-light is incorrect the bichromate is non-mutant. sent5: the fact that the displacement is intimal hold. sent6: if something is seedy it is a Herbart. sent7: something threads. sent8: there exists something such that it is a Herbart. sent9: there exists something such that it is a Herbart and it is intimal. sent10: the capacitance is a Herbart. sent11: there exists nothing that is Gilbertian and/or is a kind of a Very-light. sent12: if the capacitance is intimal that the bloodroot is a Herbart hold. sent13: the capacitance is intimal. sent14: if the bichromate is seedy the bloodroot threads. sent15: the clabber is not intimal if that the bichromate is a kind of intimal a Jezebel does not hold.
sent14 & sent3 -> int1: the bloodroot threads.; sent12 & sent13 -> int2: the bloodroot is a Herbart.; int1 & int2 -> int3: the bloodroot is a thread and it is a Herbart.; int3 -> hypothesis;
the clabber is a kind of a Herbart.
sent6 -> int4: if the clabber is seedy it is a kind of a Herbart.; sent2 -> int5: if the bichromate is not mutant the fact that it is non-intimal a Jezebel is incorrect.; sent11 -> int6: that the bloodroot is Gilbertian and/or it is a Very-light is not right.; sent4 & int6 -> int7: the bichromate is not a mutant.; int5 & int7 -> int8: the fact that the bichromate is a kind of non-intimal thing that is a Jezebel is not correct.; sent15 & int8 -> int9: the fact that the clabber is not intimal is true.;
$hypothesis$ = something is a thread and it is a kind of a Herbart. ; $context$ = sent1: the capacitance is bare. sent2: if something is not a mutant then the fact that it is not intimal and it is a Jezebel is not correct. sent3: the bichromate is seedy. sent4: if the fact that the bloodroot is Gilbertian and/or it is a Very-light is incorrect the bichromate is non-mutant. sent5: the fact that the displacement is intimal hold. sent6: if something is seedy it is a Herbart. sent7: something threads. sent8: there exists something such that it is a Herbart. sent9: there exists something such that it is a Herbart and it is intimal. sent10: the capacitance is a Herbart. sent11: there exists nothing that is Gilbertian and/or is a kind of a Very-light. sent12: if the capacitance is intimal that the bloodroot is a Herbart hold. sent13: the capacitance is intimal. sent14: if the bichromate is seedy the bloodroot threads. sent15: the clabber is not intimal if that the bichromate is a kind of intimal a Jezebel does not hold. ; $proof$ = 
sent14 & sent3 -> int1: the bloodroot threads.; sent12 & sent13 -> int2: the bloodroot is a Herbart.; int1 & int2 -> int3: the bloodroot is a thread and it is a Herbart.; int3 -> hypothesis; __PROVED__