that the counterpointing does not occur and the nourishment does not occur is wrong.
sent1: the hymenopterousness happens and the hobby happens. sent2: if the hymenopterousness happens then that the counterpoint does not occur and the nourishment does not occur does not hold.
sent1 -> int1: the hymenopterousness happens.; sent2 & int1 -> hypothesis;
$hypothesis$ = that the counterpointing does not occur and the nourishment does not occur is wrong. ; $context$ = sent1: the hymenopterousness happens and the hobby happens. sent2: if the hymenopterousness happens then that the counterpoint does not occur and the nourishment does not occur does not hold. ; $proof$ = 
sent1 -> int1: the hymenopterousness happens.; sent2 & int1 -> hypothesis; __PROVED__