the wipeout does not occur.
sent1: the lash does not occur if the stretching rivet occurs and the dealings occurs. sent2: if the fact that either the broadening happens or the sermonizing Cartesian does not occur or both is not correct then the stretching rivet happens. sent3: that the sacrificialness occurs brings about the sermonizing subpopulation. sent4: if the fact that the wipeout happens hold then the sacrificialness happens. sent5: that the sermonizing subpopulation occurs prevents that the lashing does not occur. sent6: that the sermonizing Cartesian occurs is true. sent7: the dealings and the sermonizing Russell occurs.
void -> assump1: Let's assume that that the wipeout happens is correct.; sent4 & assump1 -> int1: the sacrificialness happens.; int1 & sent3 -> int2: the fact that the sermonizing subpopulation happens is not wrong.; int2 & sent5 -> int3: that the lash happens is not wrong.; sent7 -> int4: the dealings occurs.;
$hypothesis$ = the wipeout does not occur. ; $context$ = sent1: the lash does not occur if the stretching rivet occurs and the dealings occurs. sent2: if the fact that either the broadening happens or the sermonizing Cartesian does not occur or both is not correct then the stretching rivet happens. sent3: that the sacrificialness occurs brings about the sermonizing subpopulation. sent4: if the fact that the wipeout happens hold then the sacrificialness happens. sent5: that the sermonizing subpopulation occurs prevents that the lashing does not occur. sent6: that the sermonizing Cartesian occurs is true. sent7: the dealings and the sermonizing Russell occurs. ; $proof$ = 
void -> assump1: Let's assume that that the wipeout happens is correct.; sent4 & assump1 -> int1: the sacrificialness happens.; int1 & sent3 -> int2: the fact that the sermonizing subpopulation happens is not wrong.; int2 & sent5 -> int3: that the lash happens is not wrong.; sent7 -> int4: the dealings occurs.; __UNKNOWN__