the phacoemulsification does not occur if the worrying occurs.
sent1: if that that the interchange occurs and the patronaging occurs is correct is false then the Hellenicness does not occur. sent2: the fact that the shimmying does not occur is not wrong. sent3: that the fact that the interchange occurs and the patronaging happens does not hold hold if the high-rise does not occur. sent4: if the shimmy does not occur then the grab happens. sent5: the rioting horde occurs if the denotativeness occurs. sent6: if the interchanging does not occur the fact that the patronage happens and the high-riseness happens does not hold. sent7: the deviating Cordylus and the grabbing occurs if the shimmy does not occur. sent8: the fact that the gymnosophicalness does not occur hold. sent9: if the worrying happens then the denotativeness happens. sent10: if both the rioting horde and the deviating Cordylus occurs the high-riseness does not occur. sent11: the skimming and the worrying occurs if the denotativeness does not occur. sent12: that the fact that the Hellenicness happens and the phacoemulsification does not occur is not false is incorrect if the grab occurs. sent13: the Hellenicness is prevented by that the interchanging does not occur. sent14: that that the phacoemulsification does not occur hold if the Hellenicness does not occur is true.
void -> assump1: Let's assume that the worrying occurs.; sent9 & assump1 -> int1: the denotativeness happens.; int1 & sent5 -> int2: the rioting horde occurs.; sent7 & sent2 -> int3: that both the deviating Cordylus and the grab occurs is right.; int3 -> int4: the deviating Cordylus occurs.; int2 & int4 -> int5: the rioting horde happens and the deviating Cordylus occurs.; int5 & sent10 -> int6: the high-riseness does not occur.; int6 & sent3 -> int7: the fact that the interchange and the patronaging happens does not hold.; int7 & sent1 -> int8: the Hellenicness does not occur.; int8 & sent14 -> int9: that the phacoemulsification does not occur is right.; [assump1] & int9 -> hypothesis;
the skimming happens.
$hypothesis$ = the phacoemulsification does not occur if the worrying occurs. ; $context$ = sent1: if that that the interchange occurs and the patronaging occurs is correct is false then the Hellenicness does not occur. sent2: the fact that the shimmying does not occur is not wrong. sent3: that the fact that the interchange occurs and the patronaging happens does not hold hold if the high-rise does not occur. sent4: if the shimmy does not occur then the grab happens. sent5: the rioting horde occurs if the denotativeness occurs. sent6: if the interchanging does not occur the fact that the patronage happens and the high-riseness happens does not hold. sent7: the deviating Cordylus and the grabbing occurs if the shimmy does not occur. sent8: the fact that the gymnosophicalness does not occur hold. sent9: if the worrying happens then the denotativeness happens. sent10: if both the rioting horde and the deviating Cordylus occurs the high-riseness does not occur. sent11: the skimming and the worrying occurs if the denotativeness does not occur. sent12: that the fact that the Hellenicness happens and the phacoemulsification does not occur is not false is incorrect if the grab occurs. sent13: the Hellenicness is prevented by that the interchanging does not occur. sent14: that that the phacoemulsification does not occur hold if the Hellenicness does not occur is true. ; $proof$ = 
void -> assump1: Let's assume that the worrying occurs.; sent9 & assump1 -> int1: the denotativeness happens.; int1 & sent5 -> int2: the rioting horde occurs.; sent7 & sent2 -> int3: that both the deviating Cordylus and the grab occurs is right.; int3 -> int4: the deviating Cordylus occurs.; int2 & int4 -> int5: the rioting horde happens and the deviating Cordylus occurs.; int5 & sent10 -> int6: the high-riseness does not occur.; int6 & sent3 -> int7: the fact that the interchange and the patronaging happens does not hold.; int7 & sent1 -> int8: the Hellenicness does not occur.; int8 & sent14 -> int9: that the phacoemulsification does not occur is right.; [assump1] & int9 -> hypothesis; __PROVED__