the intemperance does not occur and the cockfighting does not occur.
sent1: the testateness does not occur if the fact that the botanicness does not occur but the enfeebling connotation happens does not hold. sent2: that the housing purity and the instruction occurs does not hold. sent3: the fact that the freight but not the lexicalness happens does not hold. sent4: if the affineness happens the testateness happens. sent5: the appointment does not occur but the fusion happens. sent6: the fact that the autographicness but not the enfeebling yashmak happens is wrong. sent7: if that the lexicalness but not the oophorectomy happens is not correct then the lexicalness does not occur. sent8: the cerebellarness occurs. sent9: if the fact that the crudeness does not occur and the falling occurs is not true then that the federalizing reflexive does not occur hold. sent10: the federalizing Pelagianism does not occur but the enfeebling gluon happens. sent11: the affine happens. sent12: the documentation occurs and the Pacificness occurs. sent13: the fact that if the housing Mycenae happens and the enfeebling consultancy does not occur then the cockfighting does not occur is true. sent14: if not the botanicness but the enfeebling connotation occurs the intemperance does not occur. sent15: the fact that the piezoelectricness but not the suffering Tapirus occurs is not correct. sent16: that the indiscernibleness does not occur is correct if the deductible and the non-neurobiologicalness happens. sent17: the non-homonymicness and the non-low-riseness happens. sent18: that both the enfeebling consultancy and the non-symptomaticness occurs is not right. sent19: both the housing Mycenae and the microeconomicness occurs. sent20: that the testateness happens is prevented by that the botanicness happens. sent21: the crudeness does not occur. sent22: the knowableness does not occur and the instruction does not occur. sent23: the basalticness does not occur if the fiducialness happens.
void -> assump1: Let's assume that that the non-botanicness and the enfeebling connotation happens is not correct.; sent1 & assump1 -> int1: the testateness does not occur.; sent4 & sent11 -> int2: the testateness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: not the botanicness but the enfeebling connotation occurs.; int4 & sent14 -> int5: the fact that the intemperance does not occur is not false.; sent19 -> int6: the housing Mycenae occurs.;
the fact that the intemperance does not occur and the cockfighting does not occur is not correct.
 -> hypothesis;
$hypothesis$ = the intemperance does not occur and the cockfighting does not occur. ; $context$ = sent1: the testateness does not occur if the fact that the botanicness does not occur but the enfeebling connotation happens does not hold. sent2: that the housing purity and the instruction occurs does not hold. sent3: the fact that the freight but not the lexicalness happens does not hold. sent4: if the affineness happens the testateness happens. sent5: the appointment does not occur but the fusion happens. sent6: the fact that the autographicness but not the enfeebling yashmak happens is wrong. sent7: if that the lexicalness but not the oophorectomy happens is not correct then the lexicalness does not occur. sent8: the cerebellarness occurs. sent9: if the fact that the crudeness does not occur and the falling occurs is not true then that the federalizing reflexive does not occur hold. sent10: the federalizing Pelagianism does not occur but the enfeebling gluon happens. sent11: the affine happens. sent12: the documentation occurs and the Pacificness occurs. sent13: the fact that if the housing Mycenae happens and the enfeebling consultancy does not occur then the cockfighting does not occur is true. sent14: if not the botanicness but the enfeebling connotation occurs the intemperance does not occur. sent15: the fact that the piezoelectricness but not the suffering Tapirus occurs is not correct. sent16: that the indiscernibleness does not occur is correct if the deductible and the non-neurobiologicalness happens. sent17: the non-homonymicness and the non-low-riseness happens. sent18: that both the enfeebling consultancy and the non-symptomaticness occurs is not right. sent19: both the housing Mycenae and the microeconomicness occurs. sent20: that the testateness happens is prevented by that the botanicness happens. sent21: the crudeness does not occur. sent22: the knowableness does not occur and the instruction does not occur. sent23: the basalticness does not occur if the fiducialness happens. ; $proof$ = 
void -> assump1: Let's assume that that the non-botanicness and the enfeebling connotation happens is not correct.; sent1 & assump1 -> int1: the testateness does not occur.; sent4 & sent11 -> int2: the testateness occurs.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: not the botanicness but the enfeebling connotation occurs.; int4 & sent14 -> int5: the fact that the intemperance does not occur is not false.; sent19 -> int6: the housing Mycenae occurs.; __UNKNOWN__