the non-dystopianness and the non-regressiveness occurs.
sent1: if the fact that the keyedness and the winnowing tassel occurs is not true the winnowing tassel does not occur. sent2: the proclamation happens if that the proclamation does not occur and the baptism does not occur is false. sent3: that the taming but not the placement occurs is caused by the proclamation. sent4: if the taming happens then the allness does not occur. sent5: if the gerundialness and the fun occurs then the fetching does not occur. sent6: the fetch does not occur if the imperialism happens. sent7: if the fact that the Marianness occurs and the unpicking Jensen happens is false the winnowing lambdacism does not occur. sent8: that that the unpicking Jensen and the proclamation happens is right is incorrect. sent9: if the dystopianness happens the non-regressiveness and the non-oncologicalness happens. sent10: the fact that the regressiveness does not occur hold if the fact that the unpicking Jensen happens and the proclamation does not occur is not true. sent11: the proclamation does not occur. sent12: that if the recessiveness does not occur the fact that both the fingering and the dystopianness happens is correct hold. sent13: if the allness does not occur then the penalty occurs and the unknownness occurs. sent14: if the tabularness occurs the fun happens. sent15: that the geocentricness does not occur is brought about by that the non-regressiveness and the non-oncologicalness occurs. sent16: that the Marianness happens and the unpicking Jensen happens does not hold. sent17: the tabularness and the interlocutoriness happens if the winnowing tassel does not occur. sent18: the oncologicalness does not occur. sent19: the fact that that the unknown occurs triggers that the gerundialness occurs is true. sent20: that the unpicking Jensen happens and the proclamation does not occur brings about that the oncologicalness occurs. sent21: the fact that the non-keylessness and the winnowing tassel happens is wrong if the winnowing lambdacism does not occur. sent22: if the fetch does not occur then the winnowing lectern does not occur and the recessive does not occur.
void -> assump1: Let's assume that the unpicking Jensen happens and the proclamation does not occur.; sent20 & assump1 -> int1: the oncologicalness occurs.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the unpicking Jensen occurs but the proclamation does not occur is not correct.; int3 & sent10 -> int4: the regressiveness does not occur.;
the fact that both the non-dystopianness and the non-regressiveness happens does not hold.
 -> hypothesis;
$hypothesis$ = the non-dystopianness and the non-regressiveness occurs. ; $context$ = sent1: if the fact that the keyedness and the winnowing tassel occurs is not true the winnowing tassel does not occur. sent2: the proclamation happens if that the proclamation does not occur and the baptism does not occur is false. sent3: that the taming but not the placement occurs is caused by the proclamation. sent4: if the taming happens then the allness does not occur. sent5: if the gerundialness and the fun occurs then the fetching does not occur. sent6: the fetch does not occur if the imperialism happens. sent7: if the fact that the Marianness occurs and the unpicking Jensen happens is false the winnowing lambdacism does not occur. sent8: that that the unpicking Jensen and the proclamation happens is right is incorrect. sent9: if the dystopianness happens the non-regressiveness and the non-oncologicalness happens. sent10: the fact that the regressiveness does not occur hold if the fact that the unpicking Jensen happens and the proclamation does not occur is not true. sent11: the proclamation does not occur. sent12: that if the recessiveness does not occur the fact that both the fingering and the dystopianness happens is correct hold. sent13: if the allness does not occur then the penalty occurs and the unknownness occurs. sent14: if the tabularness occurs the fun happens. sent15: that the geocentricness does not occur is brought about by that the non-regressiveness and the non-oncologicalness occurs. sent16: that the Marianness happens and the unpicking Jensen happens does not hold. sent17: the tabularness and the interlocutoriness happens if the winnowing tassel does not occur. sent18: the oncologicalness does not occur. sent19: the fact that that the unknown occurs triggers that the gerundialness occurs is true. sent20: that the unpicking Jensen happens and the proclamation does not occur brings about that the oncologicalness occurs. sent21: the fact that the non-keylessness and the winnowing tassel happens is wrong if the winnowing lambdacism does not occur. sent22: if the fetch does not occur then the winnowing lectern does not occur and the recessive does not occur. ; $proof$ = 
void -> assump1: Let's assume that the unpicking Jensen happens and the proclamation does not occur.; sent20 & assump1 -> int1: the oncologicalness occurs.; int1 & sent18 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the unpicking Jensen occurs but the proclamation does not occur is not correct.; int3 & sent10 -> int4: the regressiveness does not occur.; __UNKNOWN__