that the embellishment occurs brings about the bodiliness.
sent1: the weaning sandlot occurs. sent2: that the bohemianism does not occur is brought about by that the offering and the ableism occurs. sent3: that the revocation does not occur is triggered by that both the embellishment and the device occurs. sent4: the spectating robe occurs and the obtruding occurs. sent5: the congruentness occurs. sent6: the offering happens. sent7: the fabianness happens. sent8: that the revocation does not occur causes the bodiliness. sent9: if the weaning musical does not occur the fact that the runup happens is right. sent10: the device happens and the spectating bootlace occurs. sent11: the thrombosing folder happens. sent12: if the thrombosing sandlot does not occur the final happens. sent13: the spectating bootlace occurs. sent14: the weaning cardinalate and the success occurs. sent15: if the spectating baffled occurs and the obtruding happens the logging does not occur. sent16: the insertion happens. sent17: the knowing and the palingeneticness occurs. sent18: that both the groping and the fabianness occurs yields that the unsupportiveness does not occur.
void -> assump1: Let's assume that the embellishment occurs.; sent10 -> int1: the device occurs.; assump1 & int1 -> int2: the embellishment happens and the device occurs.; sent3 & int2 -> int3: the revocation does not occur.; sent8 & int3 -> int4: that the bodiliness occurs is true.; [assump1] & int4 -> hypothesis;
$hypothesis$ = that the embellishment occurs brings about the bodiliness. ; $context$ = sent1: the weaning sandlot occurs. sent2: that the bohemianism does not occur is brought about by that the offering and the ableism occurs. sent3: that the revocation does not occur is triggered by that both the embellishment and the device occurs. sent4: the spectating robe occurs and the obtruding occurs. sent5: the congruentness occurs. sent6: the offering happens. sent7: the fabianness happens. sent8: that the revocation does not occur causes the bodiliness. sent9: if the weaning musical does not occur the fact that the runup happens is right. sent10: the device happens and the spectating bootlace occurs. sent11: the thrombosing folder happens. sent12: if the thrombosing sandlot does not occur the final happens. sent13: the spectating bootlace occurs. sent14: the weaning cardinalate and the success occurs. sent15: if the spectating baffled occurs and the obtruding happens the logging does not occur. sent16: the insertion happens. sent17: the knowing and the palingeneticness occurs. sent18: that both the groping and the fabianness occurs yields that the unsupportiveness does not occur. ; $proof$ = 
void -> assump1: Let's assume that the embellishment occurs.; sent10 -> int1: the device occurs.; assump1 & int1 -> int2: the embellishment happens and the device occurs.; sent3 & int2 -> int3: the revocation does not occur.; sent8 & int3 -> int4: that the bodiliness occurs is true.; [assump1] & int4 -> hypothesis; __PROVED__