the actuarialness is prevented by that the abandonment happens.
sent1: that the detailing does not occur and the imposture does not occur is triggered by that the notching leipoa happens. sent2: that the actuarialness happens hold. sent3: that the abandonment and the apheticness happens prevents the non-actuarialness. sent4: both the dicing and the tonsuring happens. sent5: not the TURP but the notching leipoa happens if the dicing happens. sent6: the actuarialness occurs if the abandonment occurs. sent7: the abusing occurs and the generosity happens if the abandonment does not occur. sent8: that the detail does not occur leads to that the actuarialness and the radial-pliness occurs. sent9: the apheticness occurs. sent10: the tilling occurs. sent11: if both the abandonment and the apheticness occurs then the actuarialness does not occur.
void -> assump1: Let's assume that the abandonment happens.; assump1 & sent9 -> int1: the abandonment happens and the apheticness occurs.; sent11 & int1 -> int2: the actuarialness does not occur.; [assump1] & int2 -> hypothesis;
the abusing occurs and the generosity occurs.
sent4 -> int3: the dicing occurs.; sent5 & int3 -> int4: the TURP does not occur and the notching leipoa happens.; int4 -> int5: the notching leipoa occurs.; sent1 & int5 -> int6: the detailing does not occur and the imposture does not occur.; int6 -> int7: the fact that the detailing does not occur is right.; sent8 & int7 -> int8: the actuarialness and the radial-pliness occurs.; int8 -> int9: that the actuarialness happens hold.;
$hypothesis$ = the actuarialness is prevented by that the abandonment happens. ; $context$ = sent1: that the detailing does not occur and the imposture does not occur is triggered by that the notching leipoa happens. sent2: that the actuarialness happens hold. sent3: that the abandonment and the apheticness happens prevents the non-actuarialness. sent4: both the dicing and the tonsuring happens. sent5: not the TURP but the notching leipoa happens if the dicing happens. sent6: the actuarialness occurs if the abandonment occurs. sent7: the abusing occurs and the generosity happens if the abandonment does not occur. sent8: that the detail does not occur leads to that the actuarialness and the radial-pliness occurs. sent9: the apheticness occurs. sent10: the tilling occurs. sent11: if both the abandonment and the apheticness occurs then the actuarialness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the abandonment happens.; assump1 & sent9 -> int1: the abandonment happens and the apheticness occurs.; sent11 & int1 -> int2: the actuarialness does not occur.; [assump1] & int2 -> hypothesis; __PROVED__