that if the kenneling does not occur then the gig does not occur and the fingerlessness does not occur does not hold.
sent1: the naturalization does not occur. sent2: the rabbetting sycamore does not occur. sent3: that the gig does not occur is triggered by the kenneling. sent4: the condylarness does not occur and the wearing paraphysis does not occur. sent5: if the kenneling does not occur then the fact that the gig does not occur is correct. sent6: if that the kennel happens is not false the gig does not occur and the fingerlessness does not occur. sent7: the microwaving does not occur. sent8: the fingerlessness does not occur. sent9: if the headship does not occur the fingerlessness and the ripeness occurs. sent10: the puncturableness does not occur and the combusting does not occur.
void -> assump1: Let's assume that the kennel does not occur.; sent5 & assump1 -> int1: the fact that the gig does not occur hold.; int1 & sent8 -> int2: the gig does not occur and the fingerlessness does not occur.; [assump1] & int2 -> hypothesis;
the moderatingness does not occur.
$hypothesis$ = that if the kenneling does not occur then the gig does not occur and the fingerlessness does not occur does not hold. ; $context$ = sent1: the naturalization does not occur. sent2: the rabbetting sycamore does not occur. sent3: that the gig does not occur is triggered by the kenneling. sent4: the condylarness does not occur and the wearing paraphysis does not occur. sent5: if the kenneling does not occur then the fact that the gig does not occur is correct. sent6: if that the kennel happens is not false the gig does not occur and the fingerlessness does not occur. sent7: the microwaving does not occur. sent8: the fingerlessness does not occur. sent9: if the headship does not occur the fingerlessness and the ripeness occurs. sent10: the puncturableness does not occur and the combusting does not occur. ; $proof$ = 
void -> assump1: Let's assume that the kennel does not occur.; sent5 & assump1 -> int1: the fact that the gig does not occur hold.; int1 & sent8 -> int2: the gig does not occur and the fingerlessness does not occur.; [assump1] & int2 -> hypothesis; __DISPROVED__