if the pretense does not occur the bleat and the Olympicness occurs.
sent1: the abhorring does not occur. sent2: if the rerunning vigil does not occur the attachment happens and the trundling votary happens. sent3: the commutableness happens if the hydrostaticsness does not occur. sent4: the scalableness happens if the superior does not occur. sent5: that that both the trundling claro and the trundling adenoid occurs is true is brought about by that the diatonicness does not occur. sent6: that the precaution does not occur is prevented by that not the pretense but the destalinizing blowjob happens. sent7: the rerunning scented occurs. sent8: the suppression occurs. sent9: if that the fact that the destalinizing blowjob does not occur hold is not right the pretense occurs. sent10: the bleat happens if the destalinizing blowjob does not occur. sent11: the servomechanicalness occurs if the protesting groomsman does not occur. sent12: the Olympicness happens.
void -> assump2: Let's assume that the destalinizing blowjob occurs.; sent9 & assump2 -> int1: the fact that the pretense occurs is not false.; void -> assump1: Let's assume that the pretense does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the destalinizing blowjob does not occur.; int3 & sent10 -> int4: the fact that the bleating does not occur does not hold.; int4 & sent12 -> int5: the bleat and the Olympicness occurs.; [assump1] & int5 -> hypothesis;
the precaution occurs.
$hypothesis$ = if the pretense does not occur the bleat and the Olympicness occurs. ; $context$ = sent1: the abhorring does not occur. sent2: if the rerunning vigil does not occur the attachment happens and the trundling votary happens. sent3: the commutableness happens if the hydrostaticsness does not occur. sent4: the scalableness happens if the superior does not occur. sent5: that that both the trundling claro and the trundling adenoid occurs is true is brought about by that the diatonicness does not occur. sent6: that the precaution does not occur is prevented by that not the pretense but the destalinizing blowjob happens. sent7: the rerunning scented occurs. sent8: the suppression occurs. sent9: if that the fact that the destalinizing blowjob does not occur hold is not right the pretense occurs. sent10: the bleat happens if the destalinizing blowjob does not occur. sent11: the servomechanicalness occurs if the protesting groomsman does not occur. sent12: the Olympicness happens. ; $proof$ = 
void -> assump2: Let's assume that the destalinizing blowjob occurs.; sent9 & assump2 -> int1: the fact that the pretense occurs is not false.; void -> assump1: Let's assume that the pretense does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the destalinizing blowjob does not occur.; int3 & sent10 -> int4: the fact that the bleating does not occur does not hold.; int4 & sent12 -> int5: the bleat and the Olympicness occurs.; [assump1] & int5 -> hypothesis; __PROVED__