the moon does not occur.
sent1: that the mooning does not occur is prevented by either that the trawling happens or that the caning Helix does not occur or both. sent2: if the esophagealness happens the fact that either the phrase does not occur or the shifting happens or both does not hold. sent3: if the caning Helix does not occur then the moon occurs. sent4: the shifting does not occur. sent5: the fact that the proceeding and the shift occurs is not right. sent6: if the caning image does not occur then the trawl and/or the caning Helix occurs. sent7: if the proceeding does not occur the eluting madness or the vasectomy or both occurs. sent8: if either the esophagealness or the phrasing or both occurs the caning image does not occur. sent9: that the phrase does not occur is prevented by the proceeding. sent10: if the esophagealness happens that the caning image does not occur is true. sent11: that the proceeding does not occur is not incorrect if that the phrasing does not occur and/or the shifting occurs does not hold. sent12: that the trawling occurs and/or the caning Helix does not occur is brought about by that the caning image does not occur. sent13: the gerundialness occurs if the fact that the afforestation does not occur but the intramolecularness occurs is incorrect. sent14: if the circumvolution and/or the nonspatialness happens the meretriciousness does not occur. sent15: if the fact that both the shifting and the proceeding occurs is false then the proceeding does not occur. sent16: the proceeding does not occur. sent17: the phrasing happens if the fact that the proceeding does not occur but the shifting occurs is incorrect. sent18: the trawling or the caning Helix or both occurs.
void -> assump1: Let's assume that the proceeding does not occur but the shift occurs.; assump1 -> int1: the shift occurs.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the proceeding but the shifting happens is not right.; sent17 & int3 -> int4: the phrasing happens.; int4 -> int5: either the esophagealness or the phrasing or both occurs.; sent8 & int5 -> int6: the caning image does not occur.; sent12 & int6 -> int7: either the trawling happens or the caning Helix does not occur or both.; sent1 & int7 -> hypothesis;
the mooning does not occur.
$hypothesis$ = the moon does not occur. ; $context$ = sent1: that the mooning does not occur is prevented by either that the trawling happens or that the caning Helix does not occur or both. sent2: if the esophagealness happens the fact that either the phrase does not occur or the shifting happens or both does not hold. sent3: if the caning Helix does not occur then the moon occurs. sent4: the shifting does not occur. sent5: the fact that the proceeding and the shift occurs is not right. sent6: if the caning image does not occur then the trawl and/or the caning Helix occurs. sent7: if the proceeding does not occur the eluting madness or the vasectomy or both occurs. sent8: if either the esophagealness or the phrasing or both occurs the caning image does not occur. sent9: that the phrase does not occur is prevented by the proceeding. sent10: if the esophagealness happens that the caning image does not occur is true. sent11: that the proceeding does not occur is not incorrect if that the phrasing does not occur and/or the shifting occurs does not hold. sent12: that the trawling occurs and/or the caning Helix does not occur is brought about by that the caning image does not occur. sent13: the gerundialness occurs if the fact that the afforestation does not occur but the intramolecularness occurs is incorrect. sent14: if the circumvolution and/or the nonspatialness happens the meretriciousness does not occur. sent15: if the fact that both the shifting and the proceeding occurs is false then the proceeding does not occur. sent16: the proceeding does not occur. sent17: the phrasing happens if the fact that the proceeding does not occur but the shifting occurs is incorrect. sent18: the trawling or the caning Helix or both occurs. ; $proof$ = 
void -> assump1: Let's assume that the proceeding does not occur but the shift occurs.; assump1 -> int1: the shift occurs.; int1 & sent4 -> int2: this is contradiction.; [assump1] & int2 -> int3: that not the proceeding but the shifting happens is not right.; sent17 & int3 -> int4: the phrasing happens.; int4 -> int5: either the esophagealness or the phrasing or both occurs.; sent8 & int5 -> int6: the caning image does not occur.; sent12 & int6 -> int7: either the trawling happens or the caning Helix does not occur or both.; sent1 & int7 -> hypothesis; __DISPROVED__