that the owning confabulation does not occur is true if the treadmill occurs.
sent1: the owning molehill occurs or the deaminating sandbox happens or both. sent2: the pyemicness occurs if the inversion happens. sent3: the non-Gauguinesqueness is brought about by that either the pecking urn or the trebling or both happens. sent4: the nephrectomy does not occur if the photoelectricity occurs. sent5: the photoelectricity is prevented by that the treadmill happens and/or that the owning microgauss occurs. sent6: the Benedictine does not occur. sent7: if either the pecking sixtieth happens or the belay happens or both the trivalentness happens. sent8: if either the owning Pteridium happens or the waddle does not occur or both then the upping does not occur. sent9: the roboticness or the nondisposableness or both occurs. sent10: that the upness does not occur brings about that the owning confabulation happens and the owning microgauss occurs. sent11: the pecking gaskin does not occur if the laxativeness occurs or the RAIU happens or both. sent12: that the owning confabulation occurs is prevented by either that the owning microgauss happens or that the treadmill occurs or both. sent13: if that the pecking Cracow occurs hold then the bioticness does not occur. sent14: if either the repairing happens or the pecking Urmia happens or both the tunneling Puritan occurs. sent15: if that the trephination occurs hold the trebling occurs. sent16: if the fact that the staling or the pecking subjectivism or both occurs is not false then the tunneling maisonette does not occur.
void -> assump1: Let's assume that the treadmill happens.; assump1 -> int1: the owning microgauss occurs and/or the treadmill happens.; int1 & sent12 -> int2: the owning confabulation does not occur.; [assump1] & int2 -> hypothesis;
the photoelectricity does not occur.
$hypothesis$ = that the owning confabulation does not occur is true if the treadmill occurs. ; $context$ = sent1: the owning molehill occurs or the deaminating sandbox happens or both. sent2: the pyemicness occurs if the inversion happens. sent3: the non-Gauguinesqueness is brought about by that either the pecking urn or the trebling or both happens. sent4: the nephrectomy does not occur if the photoelectricity occurs. sent5: the photoelectricity is prevented by that the treadmill happens and/or that the owning microgauss occurs. sent6: the Benedictine does not occur. sent7: if either the pecking sixtieth happens or the belay happens or both the trivalentness happens. sent8: if either the owning Pteridium happens or the waddle does not occur or both then the upping does not occur. sent9: the roboticness or the nondisposableness or both occurs. sent10: that the upness does not occur brings about that the owning confabulation happens and the owning microgauss occurs. sent11: the pecking gaskin does not occur if the laxativeness occurs or the RAIU happens or both. sent12: that the owning confabulation occurs is prevented by either that the owning microgauss happens or that the treadmill occurs or both. sent13: if that the pecking Cracow occurs hold then the bioticness does not occur. sent14: if either the repairing happens or the pecking Urmia happens or both the tunneling Puritan occurs. sent15: if that the trephination occurs hold the trebling occurs. sent16: if the fact that the staling or the pecking subjectivism or both occurs is not false then the tunneling maisonette does not occur. ; $proof$ = 
void -> assump1: Let's assume that the treadmill happens.; assump1 -> int1: the owning microgauss occurs and/or the treadmill happens.; int1 & sent12 -> int2: the owning confabulation does not occur.; [assump1] & int2 -> hypothesis; __PROVED__