the replacing does not occur.
sent1: the fact that both the vocalicness and the nonproprietariness happens is not true if that the uncreativeness does not occur is right. sent2: the bolero does not occur if the fact that the coronary occurs or the waver does not occur or both is not true. sent3: the unfriendliness and the corticalness occurs. sent4: the fact that the yoking does not occur hold. sent5: that both the uncreativeness and the vocalicness happens prevents the corticalness. sent6: the replacing does not occur if the alluvialness occurs and the promising sweetmeat occurs. sent7: that the vocalicness does not occur and the bolero does not occur triggers the alluvialness. sent8: if the fact that that the vocalicness and the nonproprietariness happens is not correct is correct then the nonproprietariness does not occur. sent9: if the yoke does not occur the promising sweetmeat occurs and the yeastiness happens. sent10: the nonunionness does not occur. sent11: if the replacing happens then the coronariness does not occur or the promising sweetmeat does not occur or both. sent12: the uncreativeness happens. sent13: the fact that the catching does not occur is not incorrect.
void -> assump1: Let's assume that the vocalicness occurs.; sent12 & assump1 -> int1: the uncreativeness occurs and the vocalicness occurs.; int1 & sent5 -> int2: that the corticalness does not occur is not incorrect.; sent3 -> int3: that the corticalness occurs is true.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the vocalicness does not occur.; sent9 & sent4 -> int6: the promising sweetmeat and the yeastiness happens.; int6 -> int7: the promising sweetmeat occurs.;
the nonproprietariness does not occur.
$hypothesis$ = the replacing does not occur. ; $context$ = sent1: the fact that both the vocalicness and the nonproprietariness happens is not true if that the uncreativeness does not occur is right. sent2: the bolero does not occur if the fact that the coronary occurs or the waver does not occur or both is not true. sent3: the unfriendliness and the corticalness occurs. sent4: the fact that the yoking does not occur hold. sent5: that both the uncreativeness and the vocalicness happens prevents the corticalness. sent6: the replacing does not occur if the alluvialness occurs and the promising sweetmeat occurs. sent7: that the vocalicness does not occur and the bolero does not occur triggers the alluvialness. sent8: if the fact that that the vocalicness and the nonproprietariness happens is not correct is correct then the nonproprietariness does not occur. sent9: if the yoke does not occur the promising sweetmeat occurs and the yeastiness happens. sent10: the nonunionness does not occur. sent11: if the replacing happens then the coronariness does not occur or the promising sweetmeat does not occur or both. sent12: the uncreativeness happens. sent13: the fact that the catching does not occur is not incorrect. ; $proof$ = 
void -> assump1: Let's assume that the vocalicness occurs.; sent12 & assump1 -> int1: the uncreativeness occurs and the vocalicness occurs.; int1 & sent5 -> int2: that the corticalness does not occur is not incorrect.; sent3 -> int3: that the corticalness occurs is true.; int2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: the vocalicness does not occur.; sent9 & sent4 -> int6: the promising sweetmeat and the yeastiness happens.; int6 -> int7: the promising sweetmeat occurs.; __UNKNOWN__