the formation does not occur and the kick occurs.
sent1: the kicking occurs if the alternating does not occur. sent2: if the uncousinliness does not occur then the rounders does not occur and the Hittiteness does not occur. sent3: the humbuging does not occur. sent4: that the non-oleaceousness and the exhaustibleness occurs is incorrect. sent5: that the fact that the removing mattock happens and the think does not occur is not false is not correct. sent6: that the placebo does not occur hold. sent7: if both the uncousinliness and the facelift happens the alternating does not occur. sent8: the purse does not occur and the removing church happens. sent9: the dancing lantana does not occur. sent10: if the fact that the removing mattock but not the thinking happens is incorrect the formation does not occur. sent11: the venturing is triggered by that the exhaustibleness and the removing polymer happens. sent12: the fact that the rounders does not occur and the Hittite does not occur is incorrect if the humbuging does not occur. sent13: the fact that the venture does not occur and the depilation does not occur hold. sent14: that the distention happens is correct if the spring-cleaning Proterozoic does not occur.
void -> assump1: Let's assume that the uncousinliness does not occur.; sent2 & assump1 -> int1: the rounders does not occur and the Hittiteness does not occur.; sent12 & sent3 -> int2: the fact that that the rounders does not occur and the Hittiteness does not occur is not true hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the uncousinliness happens.; sent10 & sent5 -> int5: that that the formation occurs is not false does not hold.;
the fact that not the formation but the kicking occurs does not hold.
 -> hypothesis;
$hypothesis$ = the formation does not occur and the kick occurs. ; $context$ = sent1: the kicking occurs if the alternating does not occur. sent2: if the uncousinliness does not occur then the rounders does not occur and the Hittiteness does not occur. sent3: the humbuging does not occur. sent4: that the non-oleaceousness and the exhaustibleness occurs is incorrect. sent5: that the fact that the removing mattock happens and the think does not occur is not false is not correct. sent6: that the placebo does not occur hold. sent7: if both the uncousinliness and the facelift happens the alternating does not occur. sent8: the purse does not occur and the removing church happens. sent9: the dancing lantana does not occur. sent10: if the fact that the removing mattock but not the thinking happens is incorrect the formation does not occur. sent11: the venturing is triggered by that the exhaustibleness and the removing polymer happens. sent12: the fact that the rounders does not occur and the Hittite does not occur is incorrect if the humbuging does not occur. sent13: the fact that the venture does not occur and the depilation does not occur hold. sent14: that the distention happens is correct if the spring-cleaning Proterozoic does not occur. ; $proof$ = 
void -> assump1: Let's assume that the uncousinliness does not occur.; sent2 & assump1 -> int1: the rounders does not occur and the Hittiteness does not occur.; sent12 & sent3 -> int2: the fact that that the rounders does not occur and the Hittiteness does not occur is not true hold.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the uncousinliness happens.; sent10 & sent5 -> int5: that that the formation occurs is not false does not hold.; __UNKNOWN__