the gregariousness does not occur if the summarizing but not the disembarking happens.
sent1: the vaudeville occurs if the gregariousness happens. sent2: the fact that the androgynousness happens is not incorrect. sent3: if the vaudeville occurs that the summarizing occurs and the disembarking happens does not hold. sent4: that the summarizing occurs and the disembarking happens does not hold. sent5: the gregariousness is prevented by that both the summarizing and the disembarking happens. sent6: the masking does not occur. sent7: the ineradicableness occurs. sent8: that the summarizing happens and the disembarking does not occur is false if the vaudeville occurs. sent9: the disembarking does not occur. sent10: the gregariousness happens if the summarizing happens but the disembarking does not occur. sent11: the fact that the colonizing happens but the kneeling does not occur does not hold. sent12: if the fact that the vaudeville happens is not incorrect then the summarizing occurs and the disembarking does not occur. sent13: that the intermolecularness but not the photostating lacteal happens is not right.
void -> assump1: Let's assume that the summarizing but not the disembarking happens.; void -> assump2: Let's assume that the gregariousness occurs.; sent1 & assump2 -> int1: the vaudeville occurs.; sent8 & int1 -> int2: the fact that the summarizing occurs and the disembarking does not occur does not hold.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the gregariousness does not occur.; [assump1] & int4 -> hypothesis;
$hypothesis$ = the gregariousness does not occur if the summarizing but not the disembarking happens. ; $context$ = sent1: the vaudeville occurs if the gregariousness happens. sent2: the fact that the androgynousness happens is not incorrect. sent3: if the vaudeville occurs that the summarizing occurs and the disembarking happens does not hold. sent4: that the summarizing occurs and the disembarking happens does not hold. sent5: the gregariousness is prevented by that both the summarizing and the disembarking happens. sent6: the masking does not occur. sent7: the ineradicableness occurs. sent8: that the summarizing happens and the disembarking does not occur is false if the vaudeville occurs. sent9: the disembarking does not occur. sent10: the gregariousness happens if the summarizing happens but the disembarking does not occur. sent11: the fact that the colonizing happens but the kneeling does not occur does not hold. sent12: if the fact that the vaudeville happens is not incorrect then the summarizing occurs and the disembarking does not occur. sent13: that the intermolecularness but not the photostating lacteal happens is not right. ; $proof$ = 
void -> assump1: Let's assume that the summarizing but not the disembarking happens.; void -> assump2: Let's assume that the gregariousness occurs.; sent1 & assump2 -> int1: the vaudeville occurs.; sent8 & int1 -> int2: the fact that the summarizing occurs and the disembarking does not occur does not hold.; assump1 & int2 -> int3: this is contradiction.; [assump2] & int3 -> int4: the gregariousness does not occur.; [assump1] & int4 -> hypothesis; __PROVED__