that the cuddling does not occur is prevented by that the blocking happens.
sent1: the unthematicness does not occur. sent2: the unthematicness does not occur if the TURP occurs. sent3: if that either the succumbing does not occur or the unthematicness occurs or both is not correct the blocking happens. sent4: if that either the succumbing does not occur or the unthematicness happens or both is wrong then the blocking does not occur. sent5: that the cuddling does not occur is prevented by that the TURP does not occur.
void -> assump2: Let's assume that the blocking occurs.;
$hypothesis$ = that the cuddling does not occur is prevented by that the blocking happens. ; $context$ = sent1: the unthematicness does not occur. sent2: the unthematicness does not occur if the TURP occurs. sent3: if that either the succumbing does not occur or the unthematicness occurs or both is not correct the blocking happens. sent4: if that either the succumbing does not occur or the unthematicness happens or both is wrong then the blocking does not occur. sent5: that the cuddling does not occur is prevented by that the TURP does not occur. ; $proof$ = 
void -> assump2: Let's assume that the blocking occurs.; __UNKNOWN__