if that the pegging Ajuga occurs is right the pegging wing-nut does not occur.
sent1: the injecting occurs and the Achaeanness occurs. sent2: the salpingectomy happens. sent3: the pegging wing-nut is triggered by the carefulness. sent4: the proposition does not occur. sent5: if the withdrawal does not occur and the pro-lifeness does not occur the pegging wing-nut does not occur. sent6: the pegging wing-nut occurs if the pegging Ajuga occurs. sent7: the pro-lifeness does not occur. sent8: the fact that the apocalypticness does not occur is not false. sent9: the slagging wobbling occurs. sent10: that the pyrecticness happens is prevented by that the proposition happens. sent11: the pegging wing-nut occurs. sent12: if the withdrawal does not occur and the pro-lifeness does not occur the pegging wing-nut happens. sent13: the obsessing occurs. sent14: if the pegging Ajuga does not occur then that the withdrawal does not occur and the rewarding fascicle does not occur does not hold. sent15: if the vasovasostomy does not occur and the fog does not occur then the Achaean does not occur. sent16: if that that the withdrawal does not occur and the rewarding fascicle does not occur is not incorrect is false the rewarding fascicle occurs. sent17: if the pegging wing-nut happens the fact that not the obsessing but the pro-lifeness happens is wrong.
void -> assump1: Let's assume that that the pegging Ajuga occurs hold.; void -> assump2: Let's assume that the withdrawal happens.; assump1 & assump2 -> int1: the pegging Ajuga happens and the withdrawal occurs.;
the rewarding fascicle occurs.
$hypothesis$ = if that the pegging Ajuga occurs is right the pegging wing-nut does not occur. ; $context$ = sent1: the injecting occurs and the Achaeanness occurs. sent2: the salpingectomy happens. sent3: the pegging wing-nut is triggered by the carefulness. sent4: the proposition does not occur. sent5: if the withdrawal does not occur and the pro-lifeness does not occur the pegging wing-nut does not occur. sent6: the pegging wing-nut occurs if the pegging Ajuga occurs. sent7: the pro-lifeness does not occur. sent8: the fact that the apocalypticness does not occur is not false. sent9: the slagging wobbling occurs. sent10: that the pyrecticness happens is prevented by that the proposition happens. sent11: the pegging wing-nut occurs. sent12: if the withdrawal does not occur and the pro-lifeness does not occur the pegging wing-nut happens. sent13: the obsessing occurs. sent14: if the pegging Ajuga does not occur then that the withdrawal does not occur and the rewarding fascicle does not occur does not hold. sent15: if the vasovasostomy does not occur and the fog does not occur then the Achaean does not occur. sent16: if that that the withdrawal does not occur and the rewarding fascicle does not occur is not incorrect is false the rewarding fascicle occurs. sent17: if the pegging wing-nut happens the fact that not the obsessing but the pro-lifeness happens is wrong. ; $proof$ = 
void -> assump1: Let's assume that that the pegging Ajuga occurs hold.; void -> assump2: Let's assume that the withdrawal happens.; assump1 & assump2 -> int1: the pegging Ajuga happens and the withdrawal occurs.; __UNKNOWN__