the repining presentist happens.
sent1: if that the afforesting sheikdom but not the repining algorism occurs is not true then the no-trump does not occur. sent2: if the fact that the Hasidicness and the leaning Arcadic happens does not hold the repining presentist does not occur. sent3: if the leaning lifeline does not occur the fact that both the Hasidicness and the leaning Arcadic happens is not right. sent4: the Hasidicness happens. sent5: if the leaning snakeblenny does not occur that the afforesting sheikdom occurs but the repining algorism does not occur does not hold. sent6: if the leaning lifeline happens the repining presentist happens. sent7: if the no-trump does not occur not the leaning lifeline but the subtraction happens. sent8: if that the leaning Arcadic does not occur and the Hasidicness does not occur is not correct then the leaning lifeline occurs.
void -> assump1: Let's assume that the leaning Arcadic does not occur and the Hasidicness does not occur.; assump1 -> int1: that the Hasidicness does not occur hold.; sent4 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the leaning Arcadic does not occur and the Hasidicness does not occur does not hold.; sent8 & int3 -> int4: the leaning lifeline happens.; sent6 & int4 -> hypothesis;
the repining presentist does not occur.
$hypothesis$ = the repining presentist happens. ; $context$ = sent1: if that the afforesting sheikdom but not the repining algorism occurs is not true then the no-trump does not occur. sent2: if the fact that the Hasidicness and the leaning Arcadic happens does not hold the repining presentist does not occur. sent3: if the leaning lifeline does not occur the fact that both the Hasidicness and the leaning Arcadic happens is not right. sent4: the Hasidicness happens. sent5: if the leaning snakeblenny does not occur that the afforesting sheikdom occurs but the repining algorism does not occur does not hold. sent6: if the leaning lifeline happens the repining presentist happens. sent7: if the no-trump does not occur not the leaning lifeline but the subtraction happens. sent8: if that the leaning Arcadic does not occur and the Hasidicness does not occur is not correct then the leaning lifeline occurs. ; $proof$ = 
void -> assump1: Let's assume that the leaning Arcadic does not occur and the Hasidicness does not occur.; assump1 -> int1: that the Hasidicness does not occur hold.; sent4 & int1 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the leaning Arcadic does not occur and the Hasidicness does not occur does not hold.; sent8 & int3 -> int4: the leaning lifeline happens.; sent6 & int4 -> hypothesis; __PROVED__