the siding basic does not occur and the narcoterrorism does not occur.
sent1: if the apogeanness occurs then the impeding pachyderm does not occur. sent2: the youngerness does not occur. sent3: if both the apogeanness and the budgeting self-assertion occurs then the siding sackcloth occurs. sent4: the apogeanness does not occur if the impeding chilliness happens. sent5: if the siding sackcloth happens the fact that the fact that the siding basic does not occur and the narcoterrorism does not occur is correct is wrong. sent6: that the siding basic does not occur and the narcoterrorism happens is wrong if the siding sackcloth happens. sent7: if that the budgeting self-assertion occurs but the siding sackcloth does not occur does not hold then the apogeanness does not occur. sent8: if the non-apogeanness and the budgeting self-assertion happens the siding sackcloth occurs. sent9: that the lithophyticness does not occur and the winnow does not occur is false if the Congregationalness occurs. sent10: the siding sackcloth does not occur if that both the siding sackcloth and the laparotomy occurs is not true. sent11: if the siding wingman does not occur then that the LIFO does not occur but the youngerness occurs does not hold. sent12: that the chirpiness happens is correct. sent13: the LIFO does not occur and the youngerness does not occur if the chirpiness happens. sent14: if the impeding pachyderm does not occur then the siding basic does not occur. sent15: the apogeanness does not occur. sent16: the youngerness does not occur if the chirpiness happens. sent17: if the impeding chilliness occurs then both the non-apogeanness and the budgeting self-assertion happens. sent18: if the fact that the budgeting Essex does not occur and the chirpiness occurs is false the impeding chilliness does not occur. sent19: if the Slovakianness does not occur that the siding sackcloth and the laparotomy happens is not right. sent20: the impeding pachyderm occurs if the siding wingman happens. sent21: the impeding chilliness happens if the impeding pachyderm occurs. sent22: the Slovakianness does not occur if that the lithophyticness does not occur and the winnow does not occur does not hold. sent23: the fact that not the LIFO but the youngerness occurs is wrong. sent24: that the siding basic but not the narcoterrorism occurs is false. sent25: if the siding sackcloth happens that the siding basic happens but the narcoterrorism does not occur is not correct. sent26: the fact that not the siding basic but the narcoterrorism happens is wrong. sent27: if the siding wingman does not occur then the fact that the LIFO does not occur and the youngerness does not occur is false.
void -> assump1: Let's assume that the siding wingman does not occur.; sent27 & assump1 -> int1: the fact that the LIFO does not occur and the youngerness does not occur is not right.; sent13 & sent12 -> int2: the LIFO does not occur and the youngerness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the siding wingman occurs.; int4 & sent20 -> int5: the impeding pachyderm occurs.; int5 & sent21 -> int6: the impeding chilliness happens.; int6 & sent17 -> int7: the apogeanness does not occur and the budgeting self-assertion happens.; int7 & sent8 -> int8: the siding sackcloth occurs.; int8 & sent5 -> hypothesis;
that the refining NEC does not occur is not wrong.
$hypothesis$ = the siding basic does not occur and the narcoterrorism does not occur. ; $context$ = sent1: if the apogeanness occurs then the impeding pachyderm does not occur. sent2: the youngerness does not occur. sent3: if both the apogeanness and the budgeting self-assertion occurs then the siding sackcloth occurs. sent4: the apogeanness does not occur if the impeding chilliness happens. sent5: if the siding sackcloth happens the fact that the fact that the siding basic does not occur and the narcoterrorism does not occur is correct is wrong. sent6: that the siding basic does not occur and the narcoterrorism happens is wrong if the siding sackcloth happens. sent7: if that the budgeting self-assertion occurs but the siding sackcloth does not occur does not hold then the apogeanness does not occur. sent8: if the non-apogeanness and the budgeting self-assertion happens the siding sackcloth occurs. sent9: that the lithophyticness does not occur and the winnow does not occur is false if the Congregationalness occurs. sent10: the siding sackcloth does not occur if that both the siding sackcloth and the laparotomy occurs is not true. sent11: if the siding wingman does not occur then that the LIFO does not occur but the youngerness occurs does not hold. sent12: that the chirpiness happens is correct. sent13: the LIFO does not occur and the youngerness does not occur if the chirpiness happens. sent14: if the impeding pachyderm does not occur then the siding basic does not occur. sent15: the apogeanness does not occur. sent16: the youngerness does not occur if the chirpiness happens. sent17: if the impeding chilliness occurs then both the non-apogeanness and the budgeting self-assertion happens. sent18: if the fact that the budgeting Essex does not occur and the chirpiness occurs is false the impeding chilliness does not occur. sent19: if the Slovakianness does not occur that the siding sackcloth and the laparotomy happens is not right. sent20: the impeding pachyderm occurs if the siding wingman happens. sent21: the impeding chilliness happens if the impeding pachyderm occurs. sent22: the Slovakianness does not occur if that the lithophyticness does not occur and the winnow does not occur does not hold. sent23: the fact that not the LIFO but the youngerness occurs is wrong. sent24: that the siding basic but not the narcoterrorism occurs is false. sent25: if the siding sackcloth happens that the siding basic happens but the narcoterrorism does not occur is not correct. sent26: the fact that not the siding basic but the narcoterrorism happens is wrong. sent27: if the siding wingman does not occur then the fact that the LIFO does not occur and the youngerness does not occur is false. ; $proof$ = 
void -> assump1: Let's assume that the siding wingman does not occur.; sent27 & assump1 -> int1: the fact that the LIFO does not occur and the youngerness does not occur is not right.; sent13 & sent12 -> int2: the LIFO does not occur and the youngerness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the siding wingman occurs.; int4 & sent20 -> int5: the impeding pachyderm occurs.; int5 & sent21 -> int6: the impeding chilliness happens.; int6 & sent17 -> int7: the apogeanness does not occur and the budgeting self-assertion happens.; int7 & sent8 -> int8: the siding sackcloth occurs.; int8 & sent5 -> hypothesis; __DISPROVED__