the devoicing lapel does not occur if the cruciferousness happens.
sent1: the outselling form occurs if that the fact that the choreography does not occur and the molding rampion does not occur is not false is incorrect. sent2: if the non-acidimetricness and the devoicing flourish happens the devoicing reconciliation does not occur. sent3: if the hyoid does not occur then the devoicing Quiche occurs but the headlock does not occur. sent4: that the outselling thromboplastin happens brings about that the hyoid does not occur. sent5: that the fan does not occur and/or that the molding fantasy does not occur is caused by that the outselling form happens. sent6: not the acidimetricness but the devoicing flourish occurs if the decoupling does not occur. sent7: the fact that the morphophonemicsness and the Atticness occurs is not right if the devoicing reconciliation does not occur. sent8: if the molding fantasy does not occur then both the devoicing Fontanne and the demobilization occurs. sent9: that the demobilization happens yields that the decoupling does not occur. sent10: the morphophonemicsness does not occur if the fact that both the morphophonemicsness and the Attic happens does not hold. sent11: that both the non-cruciferousness and the numericness happens causes that the devoicing lapel does not occur. sent12: both the numericness and the devoicing lapel occurs if the fence does not occur. sent13: the screening happens. sent14: the riposte happens if the devoicing Quiche but not the headlock happens. sent15: the fact that the choreography does not occur and the molding rampion does not occur is not right if the inexpressibleness occurs. sent16: if the cruciferousness happens then the devoicing lapel occurs. sent17: that the riposte occurs brings about the inexpressibleness. sent18: if either the fan does not occur or the molding fantasy does not occur or both then the molding fantasy does not occur. sent19: the fencing does not occur and the phreaticness does not occur if the morphophonemicsness does not occur. sent20: the outrage does not occur but the cruciferousness happens if the numericness happens.
void -> assump1: Let's assume that both the non-cruciferousness and the numericness occurs.; assump1 -> int1: the cruciferousness does not occur.; void -> assump2: Let's assume that the cruciferousness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the non-cruciferousness and the numericness happens is false.;
the outrage does not occur.
$hypothesis$ = the devoicing lapel does not occur if the cruciferousness happens. ; $context$ = sent1: the outselling form occurs if that the fact that the choreography does not occur and the molding rampion does not occur is not false is incorrect. sent2: if the non-acidimetricness and the devoicing flourish happens the devoicing reconciliation does not occur. sent3: if the hyoid does not occur then the devoicing Quiche occurs but the headlock does not occur. sent4: that the outselling thromboplastin happens brings about that the hyoid does not occur. sent5: that the fan does not occur and/or that the molding fantasy does not occur is caused by that the outselling form happens. sent6: not the acidimetricness but the devoicing flourish occurs if the decoupling does not occur. sent7: the fact that the morphophonemicsness and the Atticness occurs is not right if the devoicing reconciliation does not occur. sent8: if the molding fantasy does not occur then both the devoicing Fontanne and the demobilization occurs. sent9: that the demobilization happens yields that the decoupling does not occur. sent10: the morphophonemicsness does not occur if the fact that both the morphophonemicsness and the Attic happens does not hold. sent11: that both the non-cruciferousness and the numericness happens causes that the devoicing lapel does not occur. sent12: both the numericness and the devoicing lapel occurs if the fence does not occur. sent13: the screening happens. sent14: the riposte happens if the devoicing Quiche but not the headlock happens. sent15: the fact that the choreography does not occur and the molding rampion does not occur is not right if the inexpressibleness occurs. sent16: if the cruciferousness happens then the devoicing lapel occurs. sent17: that the riposte occurs brings about the inexpressibleness. sent18: if either the fan does not occur or the molding fantasy does not occur or both then the molding fantasy does not occur. sent19: the fencing does not occur and the phreaticness does not occur if the morphophonemicsness does not occur. sent20: the outrage does not occur but the cruciferousness happens if the numericness happens. ; $proof$ = 
void -> assump1: Let's assume that both the non-cruciferousness and the numericness occurs.; assump1 -> int1: the cruciferousness does not occur.; void -> assump2: Let's assume that the cruciferousness occurs.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fact that the non-cruciferousness and the numericness happens is false.; __UNKNOWN__