that the navigating does not occur and the backstopping does not occur does not hold.
sent1: the ferromagnetism does not occur if the crocheting Thuja does not occur. sent2: the solution does not occur if that the maximalness does not occur and the sick does not occur does not hold. sent3: the quartering pestilence occurs if the ELISA does not occur. sent4: if that the quartering pestilence happens but the sequencing lactose does not occur is not correct then the sequencing lactose occurs. sent5: that both the non-alkaloidalness and the non-Malianness happens is brought about by that the brunet happens. sent6: not the backstop but the iriticness happens. sent7: that the myringoplasty happens and the reflux occurs is triggered by that the ferromagnetism does not occur. sent8: if the navigating occurs that the quartering pestilence but not the sequencing lactose happens is not correct. sent9: that the maximalness does not occur and the sick does not occur does not hold if the product occurs. sent10: the ELISA occurs. sent11: the fact that the iriticness but not the backstop occurs is incorrect if the solution does not occur. sent12: that the rafting does not occur prevents that the navigating occurs. sent13: the iriticness happens. sent14: if the Malianness does not occur the product occurs and the rearmament occurs. sent15: if the fact that the ELISA happens but the raft does not occur is not correct then the quartering pestilence happens. sent16: either the crocheting Thuja does not occur or the onshoreness does not occur or both. sent17: that the quartering pestilence does not occur hold. sent18: the reunifying walrus does not occur and the alkaloticness occurs if the reflux happens. sent19: the isomerization occurs and the brunet occurs if the reunifying walrus does not occur.
void -> assump1: Let's assume that that the ELISA but not the raft occurs is not right.; sent15 & assump1 -> int1: the quartering pestilence occurs.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the ELISA occurs and the raft does not occur.; int3 -> int4: the rafting does not occur.; int4 & sent12 -> int5: that the navigating happens is false.; sent6 -> int6: the backstopping does not occur.; int5 & int6 -> hypothesis;
the sequencing lactose happens.
$hypothesis$ = that the navigating does not occur and the backstopping does not occur does not hold. ; $context$ = sent1: the ferromagnetism does not occur if the crocheting Thuja does not occur. sent2: the solution does not occur if that the maximalness does not occur and the sick does not occur does not hold. sent3: the quartering pestilence occurs if the ELISA does not occur. sent4: if that the quartering pestilence happens but the sequencing lactose does not occur is not correct then the sequencing lactose occurs. sent5: that both the non-alkaloidalness and the non-Malianness happens is brought about by that the brunet happens. sent6: not the backstop but the iriticness happens. sent7: that the myringoplasty happens and the reflux occurs is triggered by that the ferromagnetism does not occur. sent8: if the navigating occurs that the quartering pestilence but not the sequencing lactose happens is not correct. sent9: that the maximalness does not occur and the sick does not occur does not hold if the product occurs. sent10: the ELISA occurs. sent11: the fact that the iriticness but not the backstop occurs is incorrect if the solution does not occur. sent12: that the rafting does not occur prevents that the navigating occurs. sent13: the iriticness happens. sent14: if the Malianness does not occur the product occurs and the rearmament occurs. sent15: if the fact that the ELISA happens but the raft does not occur is not correct then the quartering pestilence happens. sent16: either the crocheting Thuja does not occur or the onshoreness does not occur or both. sent17: that the quartering pestilence does not occur hold. sent18: the reunifying walrus does not occur and the alkaloticness occurs if the reflux happens. sent19: the isomerization occurs and the brunet occurs if the reunifying walrus does not occur. ; $proof$ = 
void -> assump1: Let's assume that that the ELISA but not the raft occurs is not right.; sent15 & assump1 -> int1: the quartering pestilence occurs.; int1 & sent17 -> int2: this is contradiction.; [assump1] & int2 -> int3: the ELISA occurs and the raft does not occur.; int3 -> int4: the rafting does not occur.; int4 & sent12 -> int5: that the navigating happens is false.; sent6 -> int6: the backstopping does not occur.; int5 & int6 -> hypothesis; __DISPROVED__