the fact that if the impingement occurs then the duty happens is not correct.
sent1: if the duty does not occur the fact that not the digitizing illuminance but the impingement happens is false. sent2: the broadcasting does not occur. sent3: the looseness happens. sent4: the choleraicness does not occur and the tracking does not occur if the Goetheanness does not occur. sent5: if the fact that that the edging lanseh does not occur and the roundup does not occur is not incorrect is not true the duty does not occur. sent6: if the extinctness does not occur both the non-Goetheanness and the non-unsuccessfulness occurs. sent7: the allometricness occurs. sent8: the choppiness does not occur and the digitizing Gallinago does not occur. sent9: the fact that the edging lanseh does not occur and the roundup does not occur does not hold if the choleraicness does not occur. sent10: both the non-ergonomicness and the non-adactylousness happens if the impingement occurs. sent11: if that the digitizing illuminance does not occur and the impingement happens is not true the digitizing illuminance happens. sent12: that the duty occurs is caused by that the non-ergonomicness and the non-adactylousness occurs. sent13: the liturgy happens if the lobbing directorate occurs.
void -> assump1: Let's assume that the impingement occurs.; sent10 & assump1 -> int1: the ergonomicness does not occur and the adactylousness does not occur.; sent12 & int1 -> int2: the duty occurs.; [assump1] & int2 -> hypothesis;
the digitizing illuminance occurs.
$hypothesis$ = the fact that if the impingement occurs then the duty happens is not correct. ; $context$ = sent1: if the duty does not occur the fact that not the digitizing illuminance but the impingement happens is false. sent2: the broadcasting does not occur. sent3: the looseness happens. sent4: the choleraicness does not occur and the tracking does not occur if the Goetheanness does not occur. sent5: if the fact that that the edging lanseh does not occur and the roundup does not occur is not incorrect is not true the duty does not occur. sent6: if the extinctness does not occur both the non-Goetheanness and the non-unsuccessfulness occurs. sent7: the allometricness occurs. sent8: the choppiness does not occur and the digitizing Gallinago does not occur. sent9: the fact that the edging lanseh does not occur and the roundup does not occur does not hold if the choleraicness does not occur. sent10: both the non-ergonomicness and the non-adactylousness happens if the impingement occurs. sent11: if that the digitizing illuminance does not occur and the impingement happens is not true the digitizing illuminance happens. sent12: that the duty occurs is caused by that the non-ergonomicness and the non-adactylousness occurs. sent13: the liturgy happens if the lobbing directorate occurs. ; $proof$ = 
void -> assump1: Let's assume that the impingement occurs.; sent10 & assump1 -> int1: the ergonomicness does not occur and the adactylousness does not occur.; sent12 & int1 -> int2: the duty occurs.; [assump1] & int2 -> hypothesis; __DISPROVED__