the sidelining Ultrasuede occurs.
sent1: the repeatableness does not occur if not the contemning taxpayer but the salvo happens. sent2: both the check-in and the repeatableness occurs. sent3: the pleasing happens. sent4: the descant does not occur. sent5: if the covertness occurs the bioassaying occurs. sent6: the predictableness happens. sent7: if the foliaceousness happens and the confining collagenase occurs then the pressure does not occur. sent8: the sidelining Ultrasuede occurs if the fact that the contemning taxpayer does not occur but the salvo occurs does not hold.
void -> assump1: Let's assume that not the contemning taxpayer but the salvo occurs.; sent1 & assump1 -> int1: the repeatableness does not occur.; sent2 -> int2: the repeatableness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that not the contemning taxpayer but the salvo occurs is incorrect.; int4 & sent8 -> hypothesis;
$hypothesis$ = the sidelining Ultrasuede occurs. ; $context$ = sent1: the repeatableness does not occur if not the contemning taxpayer but the salvo happens. sent2: both the check-in and the repeatableness occurs. sent3: the pleasing happens. sent4: the descant does not occur. sent5: if the covertness occurs the bioassaying occurs. sent6: the predictableness happens. sent7: if the foliaceousness happens and the confining collagenase occurs then the pressure does not occur. sent8: the sidelining Ultrasuede occurs if the fact that the contemning taxpayer does not occur but the salvo occurs does not hold. ; $proof$ = 
void -> assump1: Let's assume that not the contemning taxpayer but the salvo occurs.; sent1 & assump1 -> int1: the repeatableness does not occur.; sent2 -> int2: the repeatableness happens.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the fact that not the contemning taxpayer but the salvo occurs is incorrect.; int4 & sent8 -> hypothesis; __PROVED__