the plumbing occurs.
sent1: the gathering does not occur if that either the commodiousness does not occur or the defraying boxwood happens or both does not hold. sent2: the seine and the convert happens. sent3: the clocking tailoring happens if that not the moon but the scrum happens is not right. sent4: the converting occurs. sent5: the emergence happens. sent6: the scrum does not occur. sent7: if the moon does not occur then the defraying boxwood does not occur. sent8: if the emergence happens then the fact that the mooning occurs and the scrum does not occur does not hold. sent9: if the anthropometricness happens then the emergence does not occur. sent10: that the gathering does not occur and the seine happens prevents that the plumbing does not occur. sent11: the scrum occurs and/or the mooning does not occur if the defraying boxwood happens. sent12: the actinomorphicness happens. sent13: if the mooning does not occur then the fact that the fact that either the incommodiousness or the defraying boxwood or both happens does not hold is not false. sent14: if the seine does not occur then the fact that the gathering occurs and the commodiousness does not occur is not correct. sent15: if the growling does not occur then the anthropometricness occurs. sent16: the fact that if that the arthrosporicness happens and the heterotrophicness does not occur does not hold then the arthrosporicness does not occur is not false. sent17: the non-arthrosporicness brings about that the converting occurs and the generativeness occurs.
void -> assump1: Let's assume that the moon happens.; assump1 & sent6 -> int1: the moon occurs and the scrum does not occur.; sent8 & sent5 -> int2: that the moon but not the scrum occurs does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mooning does not occur.; int4 & sent13 -> int5: the fact that the fact that the non-commodiousness and/or the defraying boxwood happens is not right is not incorrect.; int5 & sent1 -> int6: the gathering does not occur.; sent2 -> int7: the seine happens.; int6 & int7 -> int8: the gathering does not occur and the seining occurs.; int8 & sent10 -> hypothesis;
the plumbing does not occur.
$hypothesis$ = the plumbing occurs. ; $context$ = sent1: the gathering does not occur if that either the commodiousness does not occur or the defraying boxwood happens or both does not hold. sent2: the seine and the convert happens. sent3: the clocking tailoring happens if that not the moon but the scrum happens is not right. sent4: the converting occurs. sent5: the emergence happens. sent6: the scrum does not occur. sent7: if the moon does not occur then the defraying boxwood does not occur. sent8: if the emergence happens then the fact that the mooning occurs and the scrum does not occur does not hold. sent9: if the anthropometricness happens then the emergence does not occur. sent10: that the gathering does not occur and the seine happens prevents that the plumbing does not occur. sent11: the scrum occurs and/or the mooning does not occur if the defraying boxwood happens. sent12: the actinomorphicness happens. sent13: if the mooning does not occur then the fact that the fact that either the incommodiousness or the defraying boxwood or both happens does not hold is not false. sent14: if the seine does not occur then the fact that the gathering occurs and the commodiousness does not occur is not correct. sent15: if the growling does not occur then the anthropometricness occurs. sent16: the fact that if that the arthrosporicness happens and the heterotrophicness does not occur does not hold then the arthrosporicness does not occur is not false. sent17: the non-arthrosporicness brings about that the converting occurs and the generativeness occurs. ; $proof$ = 
void -> assump1: Let's assume that the moon happens.; assump1 & sent6 -> int1: the moon occurs and the scrum does not occur.; sent8 & sent5 -> int2: that the moon but not the scrum occurs does not hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the mooning does not occur.; int4 & sent13 -> int5: the fact that the fact that the non-commodiousness and/or the defraying boxwood happens is not right is not incorrect.; int5 & sent1 -> int6: the gathering does not occur.; sent2 -> int7: the seine happens.; int6 & int7 -> int8: the gathering does not occur and the seining occurs.; int8 & sent10 -> hypothesis; __PROVED__