both the heterocercalness and the quadraticsness happens if the endoscopy does not occur.
sent1: if the non-gracefulness and/or the non-synonymousness occurs then the postnuptialness occurs. sent2: the quadraticsness happens if the metier occurs. sent3: the heterocercalness occurs. sent4: if the endoscopy does not occur or the consciousness does not occur or both then the metier happens. sent5: the fact that that the middling snake happens is brought about by the non-binocularness or that the redirecting schnecken does not occur or both hold. sent6: the endoscopy and/or the non-consciousness occurs. sent7: the tamedness happens.
void -> assump1: Let's assume that the endoscopy does not occur.; assump1 -> int1: the endoscopy does not occur and/or the consciousness does not occur.; int1 & sent4 -> int2: the metier occurs.; int2 & sent2 -> int3: the quadratics occurs.; int3 & sent3 -> int4: that the heterocercalness happens and the quadraticsness happens is not wrong.; [assump1] & int4 -> hypothesis;
$hypothesis$ = both the heterocercalness and the quadraticsness happens if the endoscopy does not occur. ; $context$ = sent1: if the non-gracefulness and/or the non-synonymousness occurs then the postnuptialness occurs. sent2: the quadraticsness happens if the metier occurs. sent3: the heterocercalness occurs. sent4: if the endoscopy does not occur or the consciousness does not occur or both then the metier happens. sent5: the fact that that the middling snake happens is brought about by the non-binocularness or that the redirecting schnecken does not occur or both hold. sent6: the endoscopy and/or the non-consciousness occurs. sent7: the tamedness happens. ; $proof$ = 
void -> assump1: Let's assume that the endoscopy does not occur.; assump1 -> int1: the endoscopy does not occur and/or the consciousness does not occur.; int1 & sent4 -> int2: the metier occurs.; int2 & sent2 -> int3: the quadratics occurs.; int3 & sent3 -> int4: that the heterocercalness happens and the quadraticsness happens is not wrong.; [assump1] & int4 -> hypothesis; __PROVED__