the sedimenting Abkhazian does not occur and the Hegelianness does not occur.
sent1: the fact that the momism and the networking anaphor happens is not true. sent2: if that not the momism but the networking anaphor occurs is incorrect the lengthwiseness does not occur. sent3: the fact that the momism occurs and the networking anaphor happens is false if the resurrection happens. sent4: the sedimenting Abkhazian does not occur if the resurrection does not occur. sent5: the isometricness happens. sent6: both the isometricness and the handing happens. sent7: if the momism happens the lengthwiseness does not occur. sent8: the sedimenting Abkhazian does not occur. sent9: the rigging does not occur. sent10: that the momism does not occur and the networking anaphor occurs is wrong if the resurrection happens. sent11: the handicraft does not occur. sent12: if the lengthwiseness does not occur then that the economy does not occur and the rigging does not occur is wrong. sent13: the unmanliness occurs and the sedimenting Monterey happens. sent14: that the economy happens is prevented by that the isometric happens and the handing happens. sent15: the sedimenting Abkhazian does not occur and the Hegelian does not occur if the resurrection does not occur. sent16: the recouping does not occur and the choricness does not occur. sent17: if the homogenization and the dislocation occurs the sedimenting whetstone does not occur.
void -> assump1: Let's assume that the resurrection occurs.; sent10 & assump1 -> int1: that the momism does not occur but the networking anaphor occurs is incorrect.; int1 & sent2 -> int2: the lengthwiseness does not occur.; int2 & sent12 -> int3: the fact that the economy does not occur and the rigging does not occur does not hold.; sent14 & sent6 -> int4: the economy does not occur.; int4 & sent9 -> int5: the economy does not occur and the rigging does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the resurrection does not occur.; int7 & sent15 -> hypothesis;
the fact that the sedimenting Abkhazian does not occur and the Hegelianness does not occur does not hold.
 -> hypothesis;
$hypothesis$ = the sedimenting Abkhazian does not occur and the Hegelianness does not occur. ; $context$ = sent1: the fact that the momism and the networking anaphor happens is not true. sent2: if that not the momism but the networking anaphor occurs is incorrect the lengthwiseness does not occur. sent3: the fact that the momism occurs and the networking anaphor happens is false if the resurrection happens. sent4: the sedimenting Abkhazian does not occur if the resurrection does not occur. sent5: the isometricness happens. sent6: both the isometricness and the handing happens. sent7: if the momism happens the lengthwiseness does not occur. sent8: the sedimenting Abkhazian does not occur. sent9: the rigging does not occur. sent10: that the momism does not occur and the networking anaphor occurs is wrong if the resurrection happens. sent11: the handicraft does not occur. sent12: if the lengthwiseness does not occur then that the economy does not occur and the rigging does not occur is wrong. sent13: the unmanliness occurs and the sedimenting Monterey happens. sent14: that the economy happens is prevented by that the isometric happens and the handing happens. sent15: the sedimenting Abkhazian does not occur and the Hegelian does not occur if the resurrection does not occur. sent16: the recouping does not occur and the choricness does not occur. sent17: if the homogenization and the dislocation occurs the sedimenting whetstone does not occur. ; $proof$ = 
void -> assump1: Let's assume that the resurrection occurs.; sent10 & assump1 -> int1: that the momism does not occur but the networking anaphor occurs is incorrect.; int1 & sent2 -> int2: the lengthwiseness does not occur.; int2 & sent12 -> int3: the fact that the economy does not occur and the rigging does not occur does not hold.; sent14 & sent6 -> int4: the economy does not occur.; int4 & sent9 -> int5: the economy does not occur and the rigging does not occur.; int3 & int5 -> int6: this is contradiction.; [assump1] & int6 -> int7: the resurrection does not occur.; int7 & sent15 -> hypothesis; __PROVED__