if the still happens not the acquittal but the premiership occurs.
sent1: if the refreshing haler occurs but the gouging does not occur then the transdermalness does not occur. sent2: the refreshing haler does not occur. sent3: that the dumping hysterotomy does not occur and the coalescence does not occur brings about that the hidroticness does not occur. sent4: the fudge does not occur and the convocation does not occur. sent5: the modifying does not occur. sent6: the premiership and the relativisticness occurs if the transdermalness does not occur. sent7: that the refreshing haler does not occur and the gouging does not occur prevents that the transdermalness occurs. sent8: the non-parasympatheticness and the non-intramuralness happens. sent9: the refreshing haler does not occur and the gouge does not occur. sent10: that the stilling does not occur is caused by that the anticancerness happens. sent11: the prosecution does not occur. sent12: the stillness happens if the fact that the anticancerness does not occur and the acquittal does not occur is false. sent13: the fact that the stilling does not occur is true if the fact that the anticancerness does not occur and the acquittal does not occur is not right.
void -> assump2: Let's assume that that the anticancerness does not occur and the acquittal does not occur does not hold.; sent13 & assump2 -> int1: the stillness does not occur.; void -> assump1: Let's assume that the still happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the anticancerness does not occur and the acquittal does not occur.; int3 -> int4: the acquittal does not occur.; sent7 & sent9 -> int5: the transdermalness does not occur.; sent6 & int5 -> int6: both the premiership and the relativisticness happens.; int6 -> int7: the premiership occurs.; int4 & int7 -> int8: the acquittal does not occur but the premiership occurs.; [assump1] & int8 -> hypothesis;
$hypothesis$ = if the still happens not the acquittal but the premiership occurs. ; $context$ = sent1: if the refreshing haler occurs but the gouging does not occur then the transdermalness does not occur. sent2: the refreshing haler does not occur. sent3: that the dumping hysterotomy does not occur and the coalescence does not occur brings about that the hidroticness does not occur. sent4: the fudge does not occur and the convocation does not occur. sent5: the modifying does not occur. sent6: the premiership and the relativisticness occurs if the transdermalness does not occur. sent7: that the refreshing haler does not occur and the gouging does not occur prevents that the transdermalness occurs. sent8: the non-parasympatheticness and the non-intramuralness happens. sent9: the refreshing haler does not occur and the gouge does not occur. sent10: that the stilling does not occur is caused by that the anticancerness happens. sent11: the prosecution does not occur. sent12: the stillness happens if the fact that the anticancerness does not occur and the acquittal does not occur is false. sent13: the fact that the stilling does not occur is true if the fact that the anticancerness does not occur and the acquittal does not occur is not right. ; $proof$ = 
void -> assump2: Let's assume that that the anticancerness does not occur and the acquittal does not occur does not hold.; sent13 & assump2 -> int1: the stillness does not occur.; void -> assump1: Let's assume that the still happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the anticancerness does not occur and the acquittal does not occur.; int3 -> int4: the acquittal does not occur.; sent7 & sent9 -> int5: the transdermalness does not occur.; sent6 & int5 -> int6: both the premiership and the relativisticness happens.; int6 -> int7: the premiership occurs.; int4 & int7 -> int8: the acquittal does not occur but the premiership occurs.; [assump1] & int8 -> hypothesis; __PROVED__