the deriving occurs.
sent1: that not the scratch but the geologicalness occurs is triggered by that the snuffling deism does not occur. sent2: if not the rectifying but the geologicalness happens the deriving happens. sent3: that the teleportation does not occur is triggered by that not the irresoluteness but the beating Waterbury happens. sent4: if the enrolling happens the deriving does not occur and the cerebellarness does not occur. sent5: that the rectifying does not occur and the barbarization does not occur does not hold if the deriving does not occur. sent6: the scratch does not occur if the rectifying and the barbarization happens. sent7: if the appeal happens then the thinning occurs. sent8: if that the cerebellarness does not occur is not wrong then the fact that the geologicalness occurs and the scratch happens is incorrect. sent9: both the scratch and the cerebellarness happens. sent10: the snuffling deism does not occur if the fact that both the snuffling deism and the plumbaginaceousness happens is incorrect. sent11: not the sun but the enjoying rebroadcast happens if the thinning happens. sent12: the cerebellarness occurs. sent13: the spreading occurs if not the scratching but the geologicalness happens. sent14: the fact that the snuffling deism happens and the plumbaginaceousness happens is wrong if that the teleportation does not occur is correct. sent15: the oblate occurs if the fact that the rectifying does not occur and the barbarization does not occur is false. sent16: that the snuffling deism but not the plumbaginaceousness occurs is not true if the teleportation does not occur. sent17: the barbarization happens. sent18: the irresoluteness does not occur but the beating Waterbury happens if the sunning does not occur. sent19: the geologicalness happens and the snuffling deism happens. sent20: not the enjoying bookworm but the snuffling butcherbird happens.
void -> assump1: Let's assume that the rectifying occurs.; assump1 & sent17 -> int1: the rectifying happens and the barbarization occurs.; int1 & sent6 -> int2: the scratch does not occur.; sent9 -> int3: the scratch happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the rectifying does not occur.; sent19 -> int6: the geologicalness occurs.; int5 & int6 -> int7: the rectifying does not occur and the geologicalness occurs.; int7 & sent2 -> hypothesis;
the spread occurs and the oblateness happens.
$hypothesis$ = the deriving occurs. ; $context$ = sent1: that not the scratch but the geologicalness occurs is triggered by that the snuffling deism does not occur. sent2: if not the rectifying but the geologicalness happens the deriving happens. sent3: that the teleportation does not occur is triggered by that not the irresoluteness but the beating Waterbury happens. sent4: if the enrolling happens the deriving does not occur and the cerebellarness does not occur. sent5: that the rectifying does not occur and the barbarization does not occur does not hold if the deriving does not occur. sent6: the scratch does not occur if the rectifying and the barbarization happens. sent7: if the appeal happens then the thinning occurs. sent8: if that the cerebellarness does not occur is not wrong then the fact that the geologicalness occurs and the scratch happens is incorrect. sent9: both the scratch and the cerebellarness happens. sent10: the snuffling deism does not occur if the fact that both the snuffling deism and the plumbaginaceousness happens is incorrect. sent11: not the sun but the enjoying rebroadcast happens if the thinning happens. sent12: the cerebellarness occurs. sent13: the spreading occurs if not the scratching but the geologicalness happens. sent14: the fact that the snuffling deism happens and the plumbaginaceousness happens is wrong if that the teleportation does not occur is correct. sent15: the oblate occurs if the fact that the rectifying does not occur and the barbarization does not occur is false. sent16: that the snuffling deism but not the plumbaginaceousness occurs is not true if the teleportation does not occur. sent17: the barbarization happens. sent18: the irresoluteness does not occur but the beating Waterbury happens if the sunning does not occur. sent19: the geologicalness happens and the snuffling deism happens. sent20: not the enjoying bookworm but the snuffling butcherbird happens. ; $proof$ = 
void -> assump1: Let's assume that the rectifying occurs.; assump1 & sent17 -> int1: the rectifying happens and the barbarization occurs.; int1 & sent6 -> int2: the scratch does not occur.; sent9 -> int3: the scratch happens.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the rectifying does not occur.; sent19 -> int6: the geologicalness occurs.; int5 & int6 -> int7: the rectifying does not occur and the geologicalness occurs.; int7 & sent2 -> hypothesis; __PROVED__