the corvette does clangor zoning.
sent1: there exists nothing that is not a politeness but postdoctoral. sent2: if something is both not a record and not Calvinist then the kymograph is a kind of a bludgeon. sent3: if the Humulin does not adjourn the herbicide is not a bludgeon. sent4: the kymograph does not adjourn. sent5: the herbicide is not a bludgeon. sent6: the corvette does adjourn if there is something such that it does irradiate and is not a kind of a Calvinist. sent7: there exists nothing such that it is not a bludgeon and it is not a kind of a record. sent8: the kymograph is non-Calvinist and does not bludgeon if the fact that the herbicide does bludgeon is not false. sent9: the kymograph is not a kind of a Calvinist and does not adjourn if the Humulin does adjourn. sent10: there exists nothing such that it is a bludgeon and it does not record. sent11: the herbicide does not bludgeon and it does not record if the Humulin does not adjourn. sent12: if something that is not a Calvinist does adjourn then the corvette clangors zoning. sent13: if something adjourns it does not clangor zoning. sent14: the corvette does clangor zoning if that something is not a Calvinist and does not adjourn is not false.
void -> assump1: Let's assume that the Humulin does not adjourn.; sent11 & assump1 -> int1: the herbicide is both not a bludgeon and not a record.; sent7 -> int2: that the herbicide is not a bludgeon and not a record is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Humulin adjourns.; int4 & sent9 -> int5: the kymograph is not a Calvinist and does not adjourn.; int5 -> int6: there exists something such that it is a kind of non-Calvinist thing that does not adjourn.; int6 & sent14 -> hypothesis;
the corvette does not clangor zoning.
sent13 -> int7: if the fact that the corvette does adjourn is not false it does not clangor zoning.;
$hypothesis$ = the corvette does clangor zoning. ; $context$ = sent1: there exists nothing that is not a politeness but postdoctoral. sent2: if something is both not a record and not Calvinist then the kymograph is a kind of a bludgeon. sent3: if the Humulin does not adjourn the herbicide is not a bludgeon. sent4: the kymograph does not adjourn. sent5: the herbicide is not a bludgeon. sent6: the corvette does adjourn if there is something such that it does irradiate and is not a kind of a Calvinist. sent7: there exists nothing such that it is not a bludgeon and it is not a kind of a record. sent8: the kymograph is non-Calvinist and does not bludgeon if the fact that the herbicide does bludgeon is not false. sent9: the kymograph is not a kind of a Calvinist and does not adjourn if the Humulin does adjourn. sent10: there exists nothing such that it is a bludgeon and it does not record. sent11: the herbicide does not bludgeon and it does not record if the Humulin does not adjourn. sent12: if something that is not a Calvinist does adjourn then the corvette clangors zoning. sent13: if something adjourns it does not clangor zoning. sent14: the corvette does clangor zoning if that something is not a Calvinist and does not adjourn is not false. ; $proof$ = 
void -> assump1: Let's assume that the Humulin does not adjourn.; sent11 & assump1 -> int1: the herbicide is both not a bludgeon and not a record.; sent7 -> int2: that the herbicide is not a bludgeon and not a record is not correct.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the Humulin adjourns.; int4 & sent9 -> int5: the kymograph is not a Calvinist and does not adjourn.; int5 -> int6: there exists something such that it is a kind of non-Calvinist thing that does not adjourn.; int6 & sent14 -> hypothesis; __PROVED__