the braying occurs if the Chinese happens.
sent1: that the hefting welding does not occur and the cohering cynodont does not occur triggers the killing. sent2: that the counterglow does not occur but the dropkicking happens is false. sent3: if the fact that the President does not occur and the mammalianness does not occur is not true the heterozygousness occurs. sent4: that both the non-gentileness and the nudism happens is incorrect. sent5: the fact that the down-bow does not occur and the extortion does not occur is not right. sent6: the ursineness does not occur if the caduceanness but not the Rousseauanness occurs. sent7: the cohering crippling happens. sent8: the bond does not occur. sent9: if the ursineness does not occur and the cohering Lipscomb does not occur the bray does not occur. sent10: that both the non-reverberantness and the cohering sycophancy occurs is not correct. sent11: if the fact that the vulgarization happens hold then both the caduceanness and the non-Rousseauanness happens. sent12: the fact that the cohering crippling occurs but the Chinese does not occur does not hold. sent13: if the fact that the ESR does not occur and the unmadeness does not occur is not right the delicateness happens. sent14: that the hefting expropriation does not occur and the farness occurs does not hold. sent15: the non-ectopicness is prevented by that both the non-Chineseness and the cohering crippling happens. sent16: the fact that the cohering pitprop occurs is correct.
void -> assump1: Let's assume that the cohering crippling does not occur and the Chinese does not occur.; assump1 -> int1: the Chineseness does not occur.; void -> assump2: Let's assume that the Chineseness happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cohering crippling does not occur and the Chineseness does not occur does not hold.;
the ectopicness happens.
$hypothesis$ = the braying occurs if the Chinese happens. ; $context$ = sent1: that the hefting welding does not occur and the cohering cynodont does not occur triggers the killing. sent2: that the counterglow does not occur but the dropkicking happens is false. sent3: if the fact that the President does not occur and the mammalianness does not occur is not true the heterozygousness occurs. sent4: that both the non-gentileness and the nudism happens is incorrect. sent5: the fact that the down-bow does not occur and the extortion does not occur is not right. sent6: the ursineness does not occur if the caduceanness but not the Rousseauanness occurs. sent7: the cohering crippling happens. sent8: the bond does not occur. sent9: if the ursineness does not occur and the cohering Lipscomb does not occur the bray does not occur. sent10: that both the non-reverberantness and the cohering sycophancy occurs is not correct. sent11: if the fact that the vulgarization happens hold then both the caduceanness and the non-Rousseauanness happens. sent12: the fact that the cohering crippling occurs but the Chinese does not occur does not hold. sent13: if the fact that the ESR does not occur and the unmadeness does not occur is not right the delicateness happens. sent14: that the hefting expropriation does not occur and the farness occurs does not hold. sent15: the non-ectopicness is prevented by that both the non-Chineseness and the cohering crippling happens. sent16: the fact that the cohering pitprop occurs is correct. ; $proof$ = 
void -> assump1: Let's assume that the cohering crippling does not occur and the Chinese does not occur.; assump1 -> int1: the Chineseness does not occur.; void -> assump2: Let's assume that the Chineseness happens.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: that the cohering crippling does not occur and the Chineseness does not occur does not hold.; __UNKNOWN__