that the configurationalness does not occur is prevented by that the definiteness occurs.
sent1: if the knitting occurs the transmogrification happens. sent2: the lobateness occurs. sent3: the nonreflectiveness occurs if the definiteness occurs. sent4: the seamlessness happens. sent5: the outshouting acarus occurs. sent6: the unadoptableness occurs. sent7: the agranulocyticness happens if the unprintableness occurs. sent8: if the aneroid happens then the transmogrification occurs. sent9: the fact that that the evening updraft happens is not false if that the unadoptableness happens is true is not wrong. sent10: the fishing occurs. sent11: the chancing happens. sent12: the lobateness is brought about by the housecleaning ambulation. sent13: the outshouting fingerpaint happens. sent14: the hyperemicness occurs. sent15: the configurationalness happens if the nonreflectiveness occurs. sent16: that the substantiating happens is not incorrect. sent17: if the evening ceratopsian happens the worsting occurs.
void -> assump1: Let's assume that the definiteness happens.; sent3 & assump1 -> int1: the nonreflectiveness happens.; int1 & sent15 -> int2: the configurationalness occurs.; [assump1] & int2 -> hypothesis;
$hypothesis$ = that the configurationalness does not occur is prevented by that the definiteness occurs. ; $context$ = sent1: if the knitting occurs the transmogrification happens. sent2: the lobateness occurs. sent3: the nonreflectiveness occurs if the definiteness occurs. sent4: the seamlessness happens. sent5: the outshouting acarus occurs. sent6: the unadoptableness occurs. sent7: the agranulocyticness happens if the unprintableness occurs. sent8: if the aneroid happens then the transmogrification occurs. sent9: the fact that that the evening updraft happens is not false if that the unadoptableness happens is true is not wrong. sent10: the fishing occurs. sent11: the chancing happens. sent12: the lobateness is brought about by the housecleaning ambulation. sent13: the outshouting fingerpaint happens. sent14: the hyperemicness occurs. sent15: the configurationalness happens if the nonreflectiveness occurs. sent16: that the substantiating happens is not incorrect. sent17: if the evening ceratopsian happens the worsting occurs. ; $proof$ = 
void -> assump1: Let's assume that the definiteness happens.; sent3 & assump1 -> int1: the nonreflectiveness happens.; int1 & sent15 -> int2: the configurationalness occurs.; [assump1] & int2 -> hypothesis; __PROVED__