that if the spreading lecture occurs the paternalness occurs is not true.
sent1: the non-paternalness and the honking occurs if the diving Benton happens. sent2: the non-paternalness is prevented by that the diving lifeline occurs but the respecting quackgrass does not occur. sent3: that the iambicness occurs and the spreading lecture happens is triggered by that the paternalness does not occur. sent4: both the diving Benton and the diametralness happens if the loamlessness does not occur. sent5: the claiming brings about that the Mongolianness happens but the albuminuricness does not occur. sent6: the diving stuffed but not the smokescreen occurs if the hypnotherapy happens. sent7: if the spreading lecture occurs the diving lifeline but not the respecting quackgrass happens. sent8: if the spreading lecture happens the respecting quackgrass does not occur.
void -> assump1: Let's assume that the spreading lecture occurs.; sent7 & assump1 -> int1: the diving lifeline but not the respecting quackgrass occurs.; sent2 & int1 -> int2: the paternalness happens.; [assump1] & int2 -> hypothesis;
the iambicness happens.
$hypothesis$ = that if the spreading lecture occurs the paternalness occurs is not true. ; $context$ = sent1: the non-paternalness and the honking occurs if the diving Benton happens. sent2: the non-paternalness is prevented by that the diving lifeline occurs but the respecting quackgrass does not occur. sent3: that the iambicness occurs and the spreading lecture happens is triggered by that the paternalness does not occur. sent4: both the diving Benton and the diametralness happens if the loamlessness does not occur. sent5: the claiming brings about that the Mongolianness happens but the albuminuricness does not occur. sent6: the diving stuffed but not the smokescreen occurs if the hypnotherapy happens. sent7: if the spreading lecture occurs the diving lifeline but not the respecting quackgrass happens. sent8: if the spreading lecture happens the respecting quackgrass does not occur. ; $proof$ = 
void -> assump1: Let's assume that the spreading lecture occurs.; sent7 & assump1 -> int1: the diving lifeline but not the respecting quackgrass occurs.; sent2 & int1 -> int2: the paternalness happens.; [assump1] & int2 -> hypothesis; __DISPROVED__