there is something such that if it does not trowel it is not unpardonable.
sent1: the meprobamate is not unpardonable if it is not a kind of a firewater. sent2: the meprobamate is not unpardonable if it is not a trowel. sent3: if the meprobamate is not a trowel then that it is unpardonable is true. sent4: there exists something such that if it is a trowel it is not unpardonable. sent5: if something is not over-the-counter then it is not a nonevent. sent6: there exists something such that if it is not a kind of a trowel it is unpardonable. sent7: the meprobamate does not atrophy if it is not an ovum. sent8: the meprobamate is not unpardonable if it does trowel. sent9: the malfeasant is not unpardonable if it is not a force-out. sent10: the morganite is not a trowel if it is not a pitter-patter.
sent2 -> hypothesis;
there is something such that if that it is not over-the-counter is right it is not a nonevent.
sent5 -> int1: if the cryptocoryne is not over-the-counter then it is not a kind of a nonevent.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it does not trowel it is not unpardonable. ; $context$ = sent1: the meprobamate is not unpardonable if it is not a kind of a firewater. sent2: the meprobamate is not unpardonable if it is not a trowel. sent3: if the meprobamate is not a trowel then that it is unpardonable is true. sent4: there exists something such that if it is a trowel it is not unpardonable. sent5: if something is not over-the-counter then it is not a nonevent. sent6: there exists something such that if it is not a kind of a trowel it is unpardonable. sent7: the meprobamate does not atrophy if it is not an ovum. sent8: the meprobamate is not unpardonable if it does trowel. sent9: the malfeasant is not unpardonable if it is not a force-out. sent10: the morganite is not a trowel if it is not a pitter-patter. ; $proof$ = 
sent2 -> hypothesis; __PROVED__