there is something such that if it is not a pruner then it does not crucify pole.
sent1: the witch crucifies pole if it is not a pruner. sent2: the witch does not crucify pole if it is a kind of a pruner. sent3: if something is a pruner that it does crucify pole does not hold. sent4: if something is not a pruner it does crucify pole. sent5: there exists something such that if it is not a kind of a scrubbird then it is not a kind of a suit. sent6: the fact that that the period is subatomic is true if the period does not crucify pole is correct. sent7: there exists something such that if it is not a scrubbird then the fact that it is not a preliminary is true. sent8: the witch is a pruner if it is not respectable. sent9: something that is not a kind of a pruner does not crucify pole. sent10: something is not a anoxemia if it is not a kind of a alligatorfish. sent11: the gallbladder is not a pruner if it is not substantial.
sent9 -> int1: if the witch is not a pruner that it does not crucify pole is right.; int1 -> hypothesis;
$hypothesis$ = there is something such that if it is not a pruner then it does not crucify pole. ; $context$ = sent1: the witch crucifies pole if it is not a pruner. sent2: the witch does not crucify pole if it is a kind of a pruner. sent3: if something is a pruner that it does crucify pole does not hold. sent4: if something is not a pruner it does crucify pole. sent5: there exists something such that if it is not a kind of a scrubbird then it is not a kind of a suit. sent6: the fact that that the period is subatomic is true if the period does not crucify pole is correct. sent7: there exists something such that if it is not a scrubbird then the fact that it is not a preliminary is true. sent8: the witch is a pruner if it is not respectable. sent9: something that is not a kind of a pruner does not crucify pole. sent10: something is not a anoxemia if it is not a kind of a alligatorfish. sent11: the gallbladder is not a pruner if it is not substantial. ; $proof$ = 
sent9 -> int1: if the witch is not a pruner that it does not crucify pole is right.; int1 -> hypothesis; __PROVED__