the oatenness happens.
sent1: the absolutistness does not occur if the bionicness happens. sent2: either the obscuring pollution occurs or the factorizing spirograph does not occur or both. sent3: if the bionicness does not occur that the fact that the hydrodynamicness and the non-billiardness occurs is true is not right. sent4: either the hydrodynamicness or the cautiousness or both occurs. sent5: the abaxialness occurs. sent6: if the fact that both the factorizing Contopus and the bionicness happens does not hold then the bionicness does not occur. sent7: the semioticness happens or the elongation does not occur or both. sent8: that the factorizing Contopus happens and the bionicness happens is not right if the quadrille does not occur. sent9: that the hydrodynamicness occurs and/or the non-cautiousness triggers the oatenness. sent10: the absolutistness happens if the cautiousness occurs. sent11: either the billiardness happens or the bionicness occurs or both. sent12: the streptococcalness happens. sent13: the billiardness prevents that the absolutistness occurs. sent14: that that the capacitiveness does not occur and the tabularness does not occur is not correct is not false if the aggravation does not occur. sent15: the hydrodynamicness does not occur if that the hydrodynamicness and the non-billiardness happens is false. sent16: if the fact that the non-capacitiveness and the non-tabularness happens does not hold then the quadrille does not occur. sent17: if the billiardness happens then the absolutistness occurs.
void -> assump1: Let's assume that the cautiousness occurs.; sent10 & assump1 -> int1: that the absolutistness occurs is true.; sent11 & sent13 & sent1 -> int2: the absolutist does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cautiousness does not occur.; int4 -> int5: the hydrodynamicness or the incautiousness or both occurs.; int5 & sent9 -> hypothesis;
the oatenness does not occur.
$hypothesis$ = the oatenness happens. ; $context$ = sent1: the absolutistness does not occur if the bionicness happens. sent2: either the obscuring pollution occurs or the factorizing spirograph does not occur or both. sent3: if the bionicness does not occur that the fact that the hydrodynamicness and the non-billiardness occurs is true is not right. sent4: either the hydrodynamicness or the cautiousness or both occurs. sent5: the abaxialness occurs. sent6: if the fact that both the factorizing Contopus and the bionicness happens does not hold then the bionicness does not occur. sent7: the semioticness happens or the elongation does not occur or both. sent8: that the factorizing Contopus happens and the bionicness happens is not right if the quadrille does not occur. sent9: that the hydrodynamicness occurs and/or the non-cautiousness triggers the oatenness. sent10: the absolutistness happens if the cautiousness occurs. sent11: either the billiardness happens or the bionicness occurs or both. sent12: the streptococcalness happens. sent13: the billiardness prevents that the absolutistness occurs. sent14: that that the capacitiveness does not occur and the tabularness does not occur is not correct is not false if the aggravation does not occur. sent15: the hydrodynamicness does not occur if that the hydrodynamicness and the non-billiardness happens is false. sent16: if the fact that the non-capacitiveness and the non-tabularness happens does not hold then the quadrille does not occur. sent17: if the billiardness happens then the absolutistness occurs. ; $proof$ = 
void -> assump1: Let's assume that the cautiousness occurs.; sent10 & assump1 -> int1: that the absolutistness occurs is true.; sent11 & sent13 & sent1 -> int2: the absolutist does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cautiousness does not occur.; int4 -> int5: the hydrodynamicness or the incautiousness or both occurs.; int5 & sent9 -> hypothesis; __PROVED__