there is something such that if it is a charge then it is a polynomial.
sent1: something is a polynomial if it is not plumbaginaceous. sent2: the haberdashery is not cortico-hypothalamic. sent3: if that something is plumbaginaceous and is not benzoic is false it is polynomial. sent4: the luck is a kind of a polynomial if it is not plumbaginaceous. sent5: there is something such that if it is protestant then it is a dining-room. sent6: the luck is sublunar and is not a Y2K. sent7: the fact that the luck does not charge is not incorrect if it is electoral and not a seduction. sent8: the luck is a kind of a charge if it is plumbaginaceous and is not benzoic. sent9: there is something such that if it is noble it is a columniation. sent10: the luck is plumbaginaceous. sent11: if something is both plumbaginaceous and not benzoic then it does charge. sent12: if something that is plumbaginaceous is not benzoic it is not a charge. sent13: that the fetter treats haberdashery but it is not a kind of a reverse is wrong. sent14: the fact that the luck is equitable thing that is not a profiterole is not true. sent15: the luck is not a kind of a Corixidae. sent16: the luck is a kind of a charge and is not phenomenal. sent17: something is a kind of an extremist if the fact that it is amaranthine and does not covet mooring is false. sent18: if the luck is a kind of a charge then it is deep.
sent12 -> int1: if the luck is plumbaginaceous thing that is not benzoic it does not charge.; void -> assump2: Let's assume that the luck is both plumbaginaceous and not benzoic.; int1 & assump2 -> int2: the luck does not charge.; void -> assump1: Let's assume that the luck is a charge.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that that the luck is plumbaginaceous but it is not benzoic does not hold is not incorrect.; sent3 -> int5: if the fact that the luck is a kind of plumbaginaceous thing that is not benzoic is incorrect then it is a polynomial.; int4 & int5 -> int6: the luck is a polynomial.; [assump1] & int6 -> int7: if the luck does charge it is a kind of a polynomial.; int7 -> hypothesis;
$hypothesis$ = there is something such that if it is a charge then it is a polynomial. ; $context$ = sent1: something is a polynomial if it is not plumbaginaceous. sent2: the haberdashery is not cortico-hypothalamic. sent3: if that something is plumbaginaceous and is not benzoic is false it is polynomial. sent4: the luck is a kind of a polynomial if it is not plumbaginaceous. sent5: there is something such that if it is protestant then it is a dining-room. sent6: the luck is sublunar and is not a Y2K. sent7: the fact that the luck does not charge is not incorrect if it is electoral and not a seduction. sent8: the luck is a kind of a charge if it is plumbaginaceous and is not benzoic. sent9: there is something such that if it is noble it is a columniation. sent10: the luck is plumbaginaceous. sent11: if something is both plumbaginaceous and not benzoic then it does charge. sent12: if something that is plumbaginaceous is not benzoic it is not a charge. sent13: that the fetter treats haberdashery but it is not a kind of a reverse is wrong. sent14: the fact that the luck is equitable thing that is not a profiterole is not true. sent15: the luck is not a kind of a Corixidae. sent16: the luck is a kind of a charge and is not phenomenal. sent17: something is a kind of an extremist if the fact that it is amaranthine and does not covet mooring is false. sent18: if the luck is a kind of a charge then it is deep. ; $proof$ = 
sent12 -> int1: if the luck is plumbaginaceous thing that is not benzoic it does not charge.; void -> assump2: Let's assume that the luck is both plumbaginaceous and not benzoic.; int1 & assump2 -> int2: the luck does not charge.; void -> assump1: Let's assume that the luck is a charge.; int2 & assump1 -> int3: this is contradiction.; [assump2] & int3 -> int4: that that the luck is plumbaginaceous but it is not benzoic does not hold is not incorrect.; sent3 -> int5: if the fact that the luck is a kind of plumbaginaceous thing that is not benzoic is incorrect then it is a polynomial.; int4 & int5 -> int6: the luck is a polynomial.; [assump1] & int6 -> int7: if the luck does charge it is a kind of a polynomial.; int7 -> hypothesis; __PROVED__