the mot occurs.
sent1: the fact that the mot happens hold if the severalizing polypectomy occurs. sent2: that the mot happens is prevented by that the severalizing polypectomy does not occur and the manhandling attosecond does not occur. sent3: the marking happens if the severalizing polypectomy does not occur. sent4: the fact that the non-conciliatoriness and/or the non-Iranianness occurs is not true if the petty does not occur. sent5: the fact that either the beanball does not occur or the manhandling optometrist does not occur or both is not true. sent6: the fact that the severalizing sequencer does not occur and/or the depression does not occur is not true. sent7: that the adding aoudad does not occur and/or the clearing does not occur does not hold if the adding stabling does not occur. sent8: that the mutagenicness does not occur or the marking does not occur or both is incorrect if the severalizing polypectomy does not occur. sent9: the fact that the non-mutagenicness and/or the mark occurs hold. sent10: the severalizing tri-chad happens if the adding rice happens. sent11: if that both the non-hypothermicness and the manhandling dichromat occurs is not correct then the manhandling dichromat does not occur. sent12: the mutagenicness does not occur and/or the mark does not occur. sent13: the Egyptianness does not occur. sent14: the irradiating does not occur. sent15: if the manhandling dichromat does not occur the severalizing polypectomy does not occur and the manhandling attosecond does not occur. sent16: the fact that the bathymetricness does not occur and/or the severalizing congress does not occur does not hold. sent17: the fact that the marking occurs hold.
void -> assump1: Let's assume that the severalizing polypectomy does not occur.; sent8 & assump1 -> int1: that the mutagenicness does not occur or the mark does not occur or both does not hold.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the severalizing polypectomy occurs.; int3 & sent1 -> hypothesis;
the mot does not occur.
$hypothesis$ = the mot occurs. ; $context$ = sent1: the fact that the mot happens hold if the severalizing polypectomy occurs. sent2: that the mot happens is prevented by that the severalizing polypectomy does not occur and the manhandling attosecond does not occur. sent3: the marking happens if the severalizing polypectomy does not occur. sent4: the fact that the non-conciliatoriness and/or the non-Iranianness occurs is not true if the petty does not occur. sent5: the fact that either the beanball does not occur or the manhandling optometrist does not occur or both is not true. sent6: the fact that the severalizing sequencer does not occur and/or the depression does not occur is not true. sent7: that the adding aoudad does not occur and/or the clearing does not occur does not hold if the adding stabling does not occur. sent8: that the mutagenicness does not occur or the marking does not occur or both is incorrect if the severalizing polypectomy does not occur. sent9: the fact that the non-mutagenicness and/or the mark occurs hold. sent10: the severalizing tri-chad happens if the adding rice happens. sent11: if that both the non-hypothermicness and the manhandling dichromat occurs is not correct then the manhandling dichromat does not occur. sent12: the mutagenicness does not occur and/or the mark does not occur. sent13: the Egyptianness does not occur. sent14: the irradiating does not occur. sent15: if the manhandling dichromat does not occur the severalizing polypectomy does not occur and the manhandling attosecond does not occur. sent16: the fact that the bathymetricness does not occur and/or the severalizing congress does not occur does not hold. sent17: the fact that the marking occurs hold. ; $proof$ = 
void -> assump1: Let's assume that the severalizing polypectomy does not occur.; sent8 & assump1 -> int1: that the mutagenicness does not occur or the mark does not occur or both does not hold.; int1 & sent12 -> int2: this is contradiction.; [assump1] & int2 -> int3: the severalizing polypectomy occurs.; int3 & sent1 -> hypothesis; __PROVED__