the autosomalness occurs and the leaching polack occurs.
sent1: that the leaching Caucasus and the non-purposefulness happens is incorrect if the scraping does not occur. sent2: if the exaltation does not occur the purposefulness and the endometrialness happens. sent3: the endometrialness occurs if the fact that that the whoopee does not occur and/or the reactance occurs is not incorrect does not hold. sent4: the actioning occurs if that the exaltation but not the preoccupation occurs is not true. sent5: if the action occurs the autosomalness happens. sent6: the leaching polack and the wait occurs. sent7: that the whoopee does not occur and/or that the reactance occurs leads to that the scraping does not occur. sent8: if the purposefulness happens the scraping does not occur and the leaching Caucasus does not occur. sent9: the Paulineness happens and the typification does not occur if the wait does not occur. sent10: the typification occurs if the Paulineness happens. sent11: the perithelialness does not occur and/or the implementation does not occur. sent12: the fact that the autosomalness occurs and the leaching polack happens is not correct if that the leaching Caucasus does not occur is right. sent13: that the leaching Caucasus and the non-purposefulness happens is brought about by that the typification occurs. sent14: the Paulineness happens.
void -> assump1: Let's assume that the whoopee does not occur and/or the reactance occurs.; sent7 & assump1 -> int1: the scraping does not occur.; int1 & sent1 -> int2: that the leaching Caucasus occurs and the purposefulness does not occur is false.; sent10 & sent14 -> int3: the typification occurs.; sent13 & int3 -> int4: the leaching Caucasus but not the purposefulness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that either the whoopee does not occur or the reactance occurs or both does not hold.; int6 & sent3 -> int7: the endometrialness occurs.; sent6 -> int8: the leaching polack happens.;
the fact that the autosomalness and the leaching polack happens is not correct.
$hypothesis$ = the autosomalness occurs and the leaching polack occurs. ; $context$ = sent1: that the leaching Caucasus and the non-purposefulness happens is incorrect if the scraping does not occur. sent2: if the exaltation does not occur the purposefulness and the endometrialness happens. sent3: the endometrialness occurs if the fact that that the whoopee does not occur and/or the reactance occurs is not incorrect does not hold. sent4: the actioning occurs if that the exaltation but not the preoccupation occurs is not true. sent5: if the action occurs the autosomalness happens. sent6: the leaching polack and the wait occurs. sent7: that the whoopee does not occur and/or that the reactance occurs leads to that the scraping does not occur. sent8: if the purposefulness happens the scraping does not occur and the leaching Caucasus does not occur. sent9: the Paulineness happens and the typification does not occur if the wait does not occur. sent10: the typification occurs if the Paulineness happens. sent11: the perithelialness does not occur and/or the implementation does not occur. sent12: the fact that the autosomalness occurs and the leaching polack happens is not correct if that the leaching Caucasus does not occur is right. sent13: that the leaching Caucasus and the non-purposefulness happens is brought about by that the typification occurs. sent14: the Paulineness happens. ; $proof$ = 
void -> assump1: Let's assume that the whoopee does not occur and/or the reactance occurs.; sent7 & assump1 -> int1: the scraping does not occur.; int1 & sent1 -> int2: that the leaching Caucasus occurs and the purposefulness does not occur is false.; sent10 & sent14 -> int3: the typification occurs.; sent13 & int3 -> int4: the leaching Caucasus but not the purposefulness occurs.; int2 & int4 -> int5: this is contradiction.; [assump1] & int5 -> int6: the fact that either the whoopee does not occur or the reactance occurs or both does not hold.; int6 & sent3 -> int7: the endometrialness occurs.; sent6 -> int8: the leaching polack happens.; __UNKNOWN__