the reply occurs and the ballgame occurs.
sent1: that the mastery does not occur yields that the panhysterectomy happens and/or that the choleraicness occurs. sent2: the divaricating does not occur if the fact that that the reading dodder but not the damaging occurs is true does not hold. sent3: if that the benzylicness does not occur and the Homer does not occur is not right the benzylicness happens. sent4: the mastery does not occur. sent5: the deafening Genevan occurs. sent6: if the reading dodder does not occur that the reply and the ballgame occurs is incorrect. sent7: the fact that the mastery does not occur and the inactivity does not occur is not true if the benzylicness occurs. sent8: the reply occurs if the divaricating does not occur. sent9: that the reading dodder occurs is prevented by that both the divaricating and the damages occurs. sent10: the ballgame is brought about by the choleraicness. sent11: the ballgame occurs if that the panhysterectomy happens is right. sent12: the damaging occurs. sent13: if the fact that the mastery does not occur and the inactivity does not occur does not hold then the mastery occurs.
void -> assump1: Let's assume that the reading dodder occurs and the damaging does not occur.; assump1 -> int1: the damages does not occur.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the reading dodder occurs and the damages does not occur is false.; int3 & sent2 -> int4: the divaricating does not occur.; int4 & sent8 -> int5: the reply happens.; sent1 & sent4 -> int6: either the panhysterectomy happens or the choleraicness occurs or both.; int6 & sent11 & sent10 -> int7: the ballgame occurs.; int5 & int7 -> hypothesis;
the fact that the reply and the ballgame occurs is false.
$hypothesis$ = the reply occurs and the ballgame occurs. ; $context$ = sent1: that the mastery does not occur yields that the panhysterectomy happens and/or that the choleraicness occurs. sent2: the divaricating does not occur if the fact that that the reading dodder but not the damaging occurs is true does not hold. sent3: if that the benzylicness does not occur and the Homer does not occur is not right the benzylicness happens. sent4: the mastery does not occur. sent5: the deafening Genevan occurs. sent6: if the reading dodder does not occur that the reply and the ballgame occurs is incorrect. sent7: the fact that the mastery does not occur and the inactivity does not occur is not true if the benzylicness occurs. sent8: the reply occurs if the divaricating does not occur. sent9: that the reading dodder occurs is prevented by that both the divaricating and the damages occurs. sent10: the ballgame is brought about by the choleraicness. sent11: the ballgame occurs if that the panhysterectomy happens is right. sent12: the damaging occurs. sent13: if the fact that the mastery does not occur and the inactivity does not occur does not hold then the mastery occurs. ; $proof$ = 
void -> assump1: Let's assume that the reading dodder occurs and the damaging does not occur.; assump1 -> int1: the damages does not occur.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the reading dodder occurs and the damages does not occur is false.; int3 & sent2 -> int4: the divaricating does not occur.; int4 & sent8 -> int5: the reply happens.; sent1 & sent4 -> int6: either the panhysterectomy happens or the choleraicness occurs or both.; int6 & sent11 & sent10 -> int7: the ballgame occurs.; int5 & int7 -> hypothesis; __PROVED__