the refining prematureness does not occur and the leveraging does not occur.
sent1: that the operaticness and the urethralness happens is wrong if the leveraging happens. sent2: that the budgeting 1860s does not occur and the quotableness does not occur is triggered by the non-econometricness. sent3: that the operaticness occurs is wrong. sent4: the fact that the Resurrection does not occur is not wrong if the fact that either the destaining happens or the bipolarness happens or both is wrong. sent5: not the refining prematureness but the innocent happens. sent6: the unexpendableness does not occur. sent7: if the fact that the budgeting 1860s does not occur hold then both the siding frontbencher and the anthraciticness occurs. sent8: if that the operaticness does not occur but the urethralness happens is incorrect the working does not occur. sent9: if the fact that not the barbarization but the refining criollo occurs is false then that the refining criollo does not occur is true. sent10: the non-neuralness is brought about by that the refining criollo does not occur and the Resurrection does not occur. sent11: that either the destaining occurs or the bipolarness occurs or both is incorrect if the Lao does not occur. sent12: the econometricness does not occur if that the fact that the enervation does not occur but the entree happens is not false is incorrect. sent13: the arborolatry happens if the works does not occur. sent14: that the articulation does not occur and the innocent does not occur is not right if the anthraciticness happens. sent15: the hijab occurs. sent16: that the articulation does not occur is caused by that both the arborolatry and the hijab occurs. sent17: that the abundantness and the thunderhead happens is not right. sent18: the fact that not the operaticness but the urethralness happens is false if the leverage occurs. sent19: the fact that not the barbarization but the refining criollo occurs does not hold if the operaticness does not occur. sent20: that the fact that the enervation does not occur but the entree happens does not hold if the neuralness does not occur hold. sent21: the chairing does not occur.
void -> assump1: Let's assume that the leverage occurs.; sent18 & assump1 -> int1: the fact that that both the non-operaticness and the urethralness happens does not hold hold.; int1 & sent8 -> int2: the working does not occur.; int2 & sent13 -> int3: that the arborolatry occurs hold.; int3 & sent15 -> int4: both the arborolatry and the hijab happens.; int4 & sent16 -> int5: the fact that the articulation does not occur is not incorrect.; sent5 -> int6: the refining prematureness does not occur.;
the fact that the refining prematureness does not occur and the leverage does not occur is incorrect.
sent19 & sent3 -> int7: that the barbarization does not occur but the refining criollo occurs is not right.; sent9 & int7 -> int8: the refining criollo does not occur.;
$hypothesis$ = the refining prematureness does not occur and the leveraging does not occur. ; $context$ = sent1: that the operaticness and the urethralness happens is wrong if the leveraging happens. sent2: that the budgeting 1860s does not occur and the quotableness does not occur is triggered by the non-econometricness. sent3: that the operaticness occurs is wrong. sent4: the fact that the Resurrection does not occur is not wrong if the fact that either the destaining happens or the bipolarness happens or both is wrong. sent5: not the refining prematureness but the innocent happens. sent6: the unexpendableness does not occur. sent7: if the fact that the budgeting 1860s does not occur hold then both the siding frontbencher and the anthraciticness occurs. sent8: if that the operaticness does not occur but the urethralness happens is incorrect the working does not occur. sent9: if the fact that not the barbarization but the refining criollo occurs is false then that the refining criollo does not occur is true. sent10: the non-neuralness is brought about by that the refining criollo does not occur and the Resurrection does not occur. sent11: that either the destaining occurs or the bipolarness occurs or both is incorrect if the Lao does not occur. sent12: the econometricness does not occur if that the fact that the enervation does not occur but the entree happens is not false is incorrect. sent13: the arborolatry happens if the works does not occur. sent14: that the articulation does not occur and the innocent does not occur is not right if the anthraciticness happens. sent15: the hijab occurs. sent16: that the articulation does not occur is caused by that both the arborolatry and the hijab occurs. sent17: that the abundantness and the thunderhead happens is not right. sent18: the fact that not the operaticness but the urethralness happens is false if the leverage occurs. sent19: the fact that not the barbarization but the refining criollo occurs does not hold if the operaticness does not occur. sent20: that the fact that the enervation does not occur but the entree happens does not hold if the neuralness does not occur hold. sent21: the chairing does not occur. ; $proof$ = 
void -> assump1: Let's assume that the leverage occurs.; sent18 & assump1 -> int1: the fact that that both the non-operaticness and the urethralness happens does not hold hold.; int1 & sent8 -> int2: the working does not occur.; int2 & sent13 -> int3: that the arborolatry occurs hold.; int3 & sent15 -> int4: both the arborolatry and the hijab happens.; int4 & sent16 -> int5: the fact that the articulation does not occur is not incorrect.; sent5 -> int6: the refining prematureness does not occur.; __UNKNOWN__