the sleepover does not occur but the posting determinateness occurs.
sent1: if that the sleepover does not occur but the posting determinateness happens does not hold then the revelation happens. sent2: the revelation does not occur.
void -> assump1: Let's assume that that not the sleepover but the posting determinateness happens does not hold.; sent1 & assump1 -> int1: the revelation happens.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis;
$hypothesis$ = the sleepover does not occur but the posting determinateness occurs. ; $context$ = sent1: if that the sleepover does not occur but the posting determinateness happens does not hold then the revelation happens. sent2: the revelation does not occur. ; $proof$ = 
void -> assump1: Let's assume that that not the sleepover but the posting determinateness happens does not hold.; sent1 & assump1 -> int1: the revelation happens.; int1 & sent2 -> int2: this is contradiction.; [assump1] & int2 -> hypothesis; __PROVED__