if that the defoliating pegmatite happens is true the fact that the sashay does not occur and the archangelicness does not occur does not hold.
sent1: the advent does not occur. sent2: if the wings does not occur then the bunkering does not occur. sent3: if the antimagneticness does not occur then the sashay does not occur and the archangelicness does not occur. sent4: the fact that the interstateness happens and the recidivism occurs is correct. sent5: the unwinding happens. sent6: the rust does not occur. sent7: if the catoptricness does not occur then the defoliating capitulation and the puncture happens. sent8: that the sashay does not occur is not wrong. sent9: the defoliating gallop does not occur if the fact that the rust happens or the irreversibleness does not occur or both is not true. sent10: the rust does not occur if the advent does not occur. sent11: that the defoliating gallop does not occur yields that the palaver occurs and the bunkering occurs. sent12: the defoliating pegmatite yields that the sashay does not occur and the archangelicness does not occur. sent13: if the antimagneticness does not occur that the sashay happens but the archangelicness does not occur does not hold. sent14: the glomming legalism occurs if the defoliating pegmatite happens. sent15: the fact that the sashay does not occur but the archangelicness occurs is not right. sent16: the fact that the sashay happens but the archangelicness does not occur is wrong if the defoliating pegmatite occurs. sent17: that the lineman does not occur and the recidivism happens is incorrect if the complecting Joffrey happens. sent18: if that the brisance does not occur is right then the fact that not the yaws but the glomming coffee occurs is not true. sent19: that the palavering does not occur is prevented by that the defoliating gallop does not occur. sent20: that not the sashay but the archangelicness happens is incorrect if the defoliating pegmatite happens. sent21: the palaver happens. sent22: if the advent does not occur then that the rusting or the non-irreversibleness or both happens does not hold. sent23: if the antimagneticness does not occur then the fact that the sashay does not occur and the archangelicness does not occur is incorrect. sent24: the sashay does not occur and the archangelicness does not occur. sent25: the wings does not occur if both the glomming legalism and the antimagneticness occurs.
void -> assump2: Let's assume that the defoliating pegmatite happens.; sent14 & assump2 -> int1: that the glomming legalism happens is not false.; void -> assump1: Let's assume that the antimagneticness happens.; int1 & assump1 -> int2: both the glomming legalism and the antimagneticness happens.; int2 & sent25 -> int3: the wings does not occur.; int3 & sent2 -> int4: the fact that the bunkering does not occur is true.; sent22 & sent1 -> int5: the fact that either the rust happens or the irreversibleness does not occur or both does not hold.; sent9 & int5 -> int6: the defoliating gallop does not occur.; sent11 & int6 -> int7: the palaver happens and the bunker occurs.; int7 -> int8: the bunkering occurs.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fact that the antimagneticness does not occur hold.; int10 & sent23 -> int11: the fact that the sashay does not occur and the archangelicness does not occur is false.; [assump2] & int11 -> hypothesis;
the setup does not occur.
$hypothesis$ = if that the defoliating pegmatite happens is true the fact that the sashay does not occur and the archangelicness does not occur does not hold. ; $context$ = sent1: the advent does not occur. sent2: if the wings does not occur then the bunkering does not occur. sent3: if the antimagneticness does not occur then the sashay does not occur and the archangelicness does not occur. sent4: the fact that the interstateness happens and the recidivism occurs is correct. sent5: the unwinding happens. sent6: the rust does not occur. sent7: if the catoptricness does not occur then the defoliating capitulation and the puncture happens. sent8: that the sashay does not occur is not wrong. sent9: the defoliating gallop does not occur if the fact that the rust happens or the irreversibleness does not occur or both is not true. sent10: the rust does not occur if the advent does not occur. sent11: that the defoliating gallop does not occur yields that the palaver occurs and the bunkering occurs. sent12: the defoliating pegmatite yields that the sashay does not occur and the archangelicness does not occur. sent13: if the antimagneticness does not occur that the sashay happens but the archangelicness does not occur does not hold. sent14: the glomming legalism occurs if the defoliating pegmatite happens. sent15: the fact that the sashay does not occur but the archangelicness occurs is not right. sent16: the fact that the sashay happens but the archangelicness does not occur is wrong if the defoliating pegmatite occurs. sent17: that the lineman does not occur and the recidivism happens is incorrect if the complecting Joffrey happens. sent18: if that the brisance does not occur is right then the fact that not the yaws but the glomming coffee occurs is not true. sent19: that the palavering does not occur is prevented by that the defoliating gallop does not occur. sent20: that not the sashay but the archangelicness happens is incorrect if the defoliating pegmatite happens. sent21: the palaver happens. sent22: if the advent does not occur then that the rusting or the non-irreversibleness or both happens does not hold. sent23: if the antimagneticness does not occur then the fact that the sashay does not occur and the archangelicness does not occur is incorrect. sent24: the sashay does not occur and the archangelicness does not occur. sent25: the wings does not occur if both the glomming legalism and the antimagneticness occurs. ; $proof$ = 
void -> assump2: Let's assume that the defoliating pegmatite happens.; sent14 & assump2 -> int1: that the glomming legalism happens is not false.; void -> assump1: Let's assume that the antimagneticness happens.; int1 & assump1 -> int2: both the glomming legalism and the antimagneticness happens.; int2 & sent25 -> int3: the wings does not occur.; int3 & sent2 -> int4: the fact that the bunkering does not occur is true.; sent22 & sent1 -> int5: the fact that either the rust happens or the irreversibleness does not occur or both does not hold.; sent9 & int5 -> int6: the defoliating gallop does not occur.; sent11 & int6 -> int7: the palaver happens and the bunker occurs.; int7 -> int8: the bunkering occurs.; int4 & int8 -> int9: this is contradiction.; [assump1] & int9 -> int10: the fact that the antimagneticness does not occur hold.; int10 & sent23 -> int11: the fact that the sashay does not occur and the archangelicness does not occur is false.; [assump2] & int11 -> hypothesis; __PROVED__