the sectarianness does not occur.
sent1: if the fact that both the non-nordicness and the investigating bootmaker occurs is not correct the fact that the investigating bootmaker does not occur is not wrong. sent2: the kennel does not occur if both the non-nonenzymaticness and the non-lithographicness happens. sent3: the schoolwork does not occur. sent4: if the Comstockery occurs then the kennel occurs. sent5: if the resistibleness does not occur or the abnormality does not occur or both then the abnormality does not occur. sent6: if the abnormality does not occur then the fact that the accentuation but not the nonmechanicalness happens is not true. sent7: that the Comstockery does not occur and the juice does not occur prevents that the containment occurs. sent8: the nonenzymaticness occurs. sent9: the fact that the kennel does not occur and the Comstockery happens is not correct if the nonenzymaticness does not occur. sent10: the lithographicness occurs. sent11: that the diffusing bottom-feeder happens causes either that the resistibleness does not occur or that the abnormality does not occur or both. sent12: if the investigating bootmaker does not occur the juice and the containment happens. sent13: the fact that the juice does not occur is true. sent14: if that the fact that the investigating bootmaker occurs hold is not right then the containment occurs. sent15: the nonmechanicalness happens if that both the accentuation and the nonmechanicalnessness occurs is not true. sent16: the lithographicness does not occur if the kennel happens and the nonenzymaticness occurs. sent17: if the nonmechanicalness happens then that both the non-nordicness and the investigating bootmaker happens is false. sent18: the discovering and the counter occurs.
void -> assump1: Let's assume that the Comstockery occurs.; sent4 & assump1 -> int1: the kennel happens.; int1 & sent8 -> int2: both the kenneling and the nonenzymaticness happens.; int2 & sent16 -> int3: that the lithographicness does not occur is not false.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Comstockery does not occur.; int5 & sent13 -> int6: the Comstockery does not occur and the juice does not occur.; int6 & sent7 -> int7: the containment does not occur.;
the sectarianness occurs.
$hypothesis$ = the sectarianness does not occur. ; $context$ = sent1: if the fact that both the non-nordicness and the investigating bootmaker occurs is not correct the fact that the investigating bootmaker does not occur is not wrong. sent2: the kennel does not occur if both the non-nonenzymaticness and the non-lithographicness happens. sent3: the schoolwork does not occur. sent4: if the Comstockery occurs then the kennel occurs. sent5: if the resistibleness does not occur or the abnormality does not occur or both then the abnormality does not occur. sent6: if the abnormality does not occur then the fact that the accentuation but not the nonmechanicalness happens is not true. sent7: that the Comstockery does not occur and the juice does not occur prevents that the containment occurs. sent8: the nonenzymaticness occurs. sent9: the fact that the kennel does not occur and the Comstockery happens is not correct if the nonenzymaticness does not occur. sent10: the lithographicness occurs. sent11: that the diffusing bottom-feeder happens causes either that the resistibleness does not occur or that the abnormality does not occur or both. sent12: if the investigating bootmaker does not occur the juice and the containment happens. sent13: the fact that the juice does not occur is true. sent14: if that the fact that the investigating bootmaker occurs hold is not right then the containment occurs. sent15: the nonmechanicalness happens if that both the accentuation and the nonmechanicalnessness occurs is not true. sent16: the lithographicness does not occur if the kennel happens and the nonenzymaticness occurs. sent17: if the nonmechanicalness happens then that both the non-nordicness and the investigating bootmaker happens is false. sent18: the discovering and the counter occurs. ; $proof$ = 
void -> assump1: Let's assume that the Comstockery occurs.; sent4 & assump1 -> int1: the kennel happens.; int1 & sent8 -> int2: both the kenneling and the nonenzymaticness happens.; int2 & sent16 -> int3: that the lithographicness does not occur is not false.; int3 & sent10 -> int4: this is contradiction.; [assump1] & int4 -> int5: the Comstockery does not occur.; int5 & sent13 -> int6: the Comstockery does not occur and the juice does not occur.; int6 & sent7 -> int7: the containment does not occur.; __UNKNOWN__