there is something such that if it is not a kind of a slashing then it is not non-tabular.
sent1: there is something such that if it does not disembowel membrane it is a perforation. sent2: there is something such that if it does not patinate that it jobs harmattan hold. sent3: the riff is a slashing if it yields einsteinium. sent4: the familiar is a slashing if it is a magnetite. sent5: the familiar is tabular if it slashes. sent6: the familiar patinates if it is not gemmiferous. sent7: there is something such that if that it is not a Maundy is true then it is hydrous. sent8: the promiser does job copperhead if it is not a kind of a Sundanese. sent9: the familiar is a cushion if it is a kind of a slashing. sent10: something is a benevolence if it is not a Javanese. sent11: there exists something such that if it does not disembowel endosperm then it is an archdiocese. sent12: if the familiar does not slash it is tabular. sent13: if something is not a terrace then it is tabular. sent14: there is something such that if it is a slashing then it is tabular. sent15: the familiar does seem if it is not a Singer. sent16: the familiar is a caroling if it is not a slashing.
sent12 -> hypothesis;
the chill is a kind of a benevolence if it is not Javanese.
sent10 -> hypothesis;
$hypothesis$ = there is something such that if it is not a kind of a slashing then it is not non-tabular. ; $context$ = sent1: there is something such that if it does not disembowel membrane it is a perforation. sent2: there is something such that if it does not patinate that it jobs harmattan hold. sent3: the riff is a slashing if it yields einsteinium. sent4: the familiar is a slashing if it is a magnetite. sent5: the familiar is tabular if it slashes. sent6: the familiar patinates if it is not gemmiferous. sent7: there is something such that if that it is not a Maundy is true then it is hydrous. sent8: the promiser does job copperhead if it is not a kind of a Sundanese. sent9: the familiar is a cushion if it is a kind of a slashing. sent10: something is a benevolence if it is not a Javanese. sent11: there exists something such that if it does not disembowel endosperm then it is an archdiocese. sent12: if the familiar does not slash it is tabular. sent13: if something is not a terrace then it is tabular. sent14: there is something such that if it is a slashing then it is tabular. sent15: the familiar does seem if it is not a Singer. sent16: the familiar is a caroling if it is not a slashing. ; $proof$ = 
sent12 -> hypothesis; __PROVED__