if the President occurs then the trussing Isuridae does not occur and the comparison does not occur.
sent1: the anaglyphicness occurs and the guttering peridot occurs. sent2: the scarring does not occur. sent3: the comparison does not occur and the haranguing does not occur if the fact that the atheroscleroticness occurs is correct. sent4: both the allylicness and the patterning happens. sent5: the fact that the totipotentness occurs is right. sent6: the atheroscleroticness happens. sent7: if the empiricalness does not occur the vice-presidentialness and the President happens. sent8: that the empiricalness occurs is right. sent9: the Ascension does not occur and the camphoricness does not occur. sent10: the fact that the haranguing does not occur hold if the atheroscleroticness occurs. sent11: both the haranguing and the atheroscleroticness occurs if the sleepwalking does not occur. sent12: if the guggling happens and the lowercaseness happens then the fact that the anaglyphicness does not occur hold. sent13: if the President and the empiricalness happens that the trussing Isuridae does not occur hold. sent14: the harangue does not occur. sent15: the harangue causes that the comparison occurs but the trussing Isuridae does not occur. sent16: the dysplasticness happens.
void -> assump1: Let's assume that the President occurs.; assump1 & sent8 -> int1: the fact that both the President and the empiricalness happens is not wrong.; int1 & sent13 -> int2: the trussing Isuridae does not occur.; sent3 & sent6 -> int3: the comparison does not occur and the haranguing does not occur.; int3 -> int4: the comparison does not occur.; int2 & int4 -> int5: the trussing Isuridae does not occur and the comparison does not occur.; [assump1] & int5 -> hypothesis;
the vice-presidentialness occurs.
$hypothesis$ = if the President occurs then the trussing Isuridae does not occur and the comparison does not occur. ; $context$ = sent1: the anaglyphicness occurs and the guttering peridot occurs. sent2: the scarring does not occur. sent3: the comparison does not occur and the haranguing does not occur if the fact that the atheroscleroticness occurs is correct. sent4: both the allylicness and the patterning happens. sent5: the fact that the totipotentness occurs is right. sent6: the atheroscleroticness happens. sent7: if the empiricalness does not occur the vice-presidentialness and the President happens. sent8: that the empiricalness occurs is right. sent9: the Ascension does not occur and the camphoricness does not occur. sent10: the fact that the haranguing does not occur hold if the atheroscleroticness occurs. sent11: both the haranguing and the atheroscleroticness occurs if the sleepwalking does not occur. sent12: if the guggling happens and the lowercaseness happens then the fact that the anaglyphicness does not occur hold. sent13: if the President and the empiricalness happens that the trussing Isuridae does not occur hold. sent14: the harangue does not occur. sent15: the harangue causes that the comparison occurs but the trussing Isuridae does not occur. sent16: the dysplasticness happens. ; $proof$ = 
void -> assump1: Let's assume that the President occurs.; assump1 & sent8 -> int1: the fact that both the President and the empiricalness happens is not wrong.; int1 & sent13 -> int2: the trussing Isuridae does not occur.; sent3 & sent6 -> int3: the comparison does not occur and the haranguing does not occur.; int3 -> int4: the comparison does not occur.; int2 & int4 -> int5: the trussing Isuridae does not occur and the comparison does not occur.; [assump1] & int5 -> hypothesis; __PROVED__