the selling occurs.
sent1: the pricking happens and the bender happens. sent2: if that the fact that both the bender and the pricking occurs is not incorrect does not hold then the selling does not occur. sent3: the selling happens if the fact that the discarding defoliation occurs hold. sent4: the bender happens. sent5: if the pricking occurs then the discarding defoliation occurs. sent6: the idealization occurs.
sent1 -> int1: the pricking occurs.; sent5 & int1 -> int2: the discarding defoliation occurs.; sent3 & int2 -> hypothesis;
the selling does not occur.
$hypothesis$ = the selling occurs. ; $context$ = sent1: the pricking happens and the bender happens. sent2: if that the fact that both the bender and the pricking occurs is not incorrect does not hold then the selling does not occur. sent3: the selling happens if the fact that the discarding defoliation occurs hold. sent4: the bender happens. sent5: if the pricking occurs then the discarding defoliation occurs. sent6: the idealization occurs. ; $proof$ = 
sent1 -> int1: the pricking occurs.; sent5 & int1 -> int2: the discarding defoliation occurs.; sent3 & int2 -> hypothesis; __PROVED__