the undramaticness does not occur and the beginning Negritude occurs.
sent1: that the incursion does not occur and the leapfrog does not occur does not hold if the inequitableness does not occur. sent2: if the beginning mismatch happens then the fact that the blocking doxepin and the non-inequitableness happens is false. sent3: that the servomechanicalness but not the cleistogamy happens is not true. sent4: that the blocking doxepin does not occur is not incorrect if that both the blocking doxepin and the equitableness happens does not hold. sent5: the fact that if the channelization but not the demographicness happens the calcifugousness occurs is correct. sent6: the proclaiming does not occur and the demographic does not occur. sent7: the fact that the privation does not occur and the psychopharmacologicalness occurs is not correct. sent8: the fact that the privation but not the psychopharmacologicalness occurs is not right. sent9: the fact that the servomechanicalness does not occur and the cleistogamy does not occur does not hold if the inequitableness happens. sent10: the notching does not occur if the fact that the servomechanicalness does not occur and the cleistogamy does not occur does not hold. sent11: the fact that the privation does not occur and the psychopharmacologicalness does not occur is not right. sent12: that the incursion occurs but the leapfrogging does not occur is not right. sent13: the fact that the beginning mismatch does not occur hold if the fact that the incursion does not occur and the leapfrog does not occur is not right. sent14: the fact that if the fact that the privation does not occur and the psychopharmacologicalness does not occur is false then the channelization occurs hold. sent15: the notch happens and/or the cleistogamy does not occur if the beginning Negritude does not occur. sent16: that the beginning mismatch does not occur results in that the calcifugousness does not occur. sent17: the non-undramaticness and the beginning Negritude occurs if the notching does not occur.
void -> assump1: Let's assume that the inequitableness does not occur.; sent1 & assump1 -> int1: the fact that the incursion does not occur and the leapfrog does not occur is wrong.; int1 & sent13 -> int2: the beginning mismatch does not occur.; int2 & sent16 -> int3: the calcifugousness does not occur.; sent14 & sent11 -> int4: the channelization happens.; sent6 -> int5: the demographic does not occur.; int4 & int5 -> int6: the channelization happens but the demographic does not occur.; sent5 & int6 -> int7: the calcifugousness happens.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the inequitableness occurs.; int9 & sent9 -> int10: that the servomechanicalness does not occur and the cleistogamy does not occur does not hold.; int10 & sent10 -> int11: the notching does not occur.; int11 & sent17 -> hypothesis;
that not the undramaticness but the beginning Negritude occurs is false.
 -> hypothesis;
$hypothesis$ = the undramaticness does not occur and the beginning Negritude occurs. ; $context$ = sent1: that the incursion does not occur and the leapfrog does not occur does not hold if the inequitableness does not occur. sent2: if the beginning mismatch happens then the fact that the blocking doxepin and the non-inequitableness happens is false. sent3: that the servomechanicalness but not the cleistogamy happens is not true. sent4: that the blocking doxepin does not occur is not incorrect if that both the blocking doxepin and the equitableness happens does not hold. sent5: the fact that if the channelization but not the demographicness happens the calcifugousness occurs is correct. sent6: the proclaiming does not occur and the demographic does not occur. sent7: the fact that the privation does not occur and the psychopharmacologicalness occurs is not correct. sent8: the fact that the privation but not the psychopharmacologicalness occurs is not right. sent9: the fact that the servomechanicalness does not occur and the cleistogamy does not occur does not hold if the inequitableness happens. sent10: the notching does not occur if the fact that the servomechanicalness does not occur and the cleistogamy does not occur does not hold. sent11: the fact that the privation does not occur and the psychopharmacologicalness does not occur is not right. sent12: that the incursion occurs but the leapfrogging does not occur is not right. sent13: the fact that the beginning mismatch does not occur hold if the fact that the incursion does not occur and the leapfrog does not occur is not right. sent14: the fact that if the fact that the privation does not occur and the psychopharmacologicalness does not occur is false then the channelization occurs hold. sent15: the notch happens and/or the cleistogamy does not occur if the beginning Negritude does not occur. sent16: that the beginning mismatch does not occur results in that the calcifugousness does not occur. sent17: the non-undramaticness and the beginning Negritude occurs if the notching does not occur. ; $proof$ = 
void -> assump1: Let's assume that the inequitableness does not occur.; sent1 & assump1 -> int1: the fact that the incursion does not occur and the leapfrog does not occur is wrong.; int1 & sent13 -> int2: the beginning mismatch does not occur.; int2 & sent16 -> int3: the calcifugousness does not occur.; sent14 & sent11 -> int4: the channelization happens.; sent6 -> int5: the demographic does not occur.; int4 & int5 -> int6: the channelization happens but the demographic does not occur.; sent5 & int6 -> int7: the calcifugousness happens.; int3 & int7 -> int8: this is contradiction.; [assump1] & int8 -> int9: the inequitableness occurs.; int9 & sent9 -> int10: that the servomechanicalness does not occur and the cleistogamy does not occur does not hold.; int10 & sent10 -> int11: the notching does not occur.; int11 & sent17 -> hypothesis; __PROVED__