the sciaticness does not occur and the ecarte does not occur.
sent1: if the snorkeling happens that the sciaticness does not occur and the ecarte does not occur is incorrect. sent2: the fact that the lobectomy does not occur and the eremiticness does not occur is false. sent3: if the hypothecating sweetbread does not occur and the foreshowing regency happens then the revocableness happens. sent4: the sciaticness does not occur if the hypothecating grampus but not the snorkeling happens. sent5: that the hypothecating sweetbread does not occur and the foreshowing regency does not occur prevents the irrevocableness. sent6: that the hypothecating grampus occurs is not wrong. sent7: the ecarte does not occur. sent8: the snorkeling does not occur if that the hypothecating sweetbread does not occur and the foreshowing regency does not occur is not right. sent9: the rowing does not occur. sent10: if that the lobectomy does not occur and the eremiticness does not occur is false then the revocableness does not occur. sent11: the chromaticness is prevented by that the revocableness does not occur and the snorkeling does not occur.
void -> assump1: Let's assume that the hypothecating sweetbread does not occur and the foreshowing regency does not occur.; sent5 & assump1 -> int1: that the revocableness happens is not false.; sent10 & sent2 -> int2: the revocableness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the hypothecating sweetbread does not occur and the foreshowing regency does not occur does not hold.; int4 & sent8 -> int5: the snorkeling does not occur.; int5 & sent6 -> int6: the hypothecating grampus but not the snorkeling occurs.; int6 & sent4 -> int7: the sciaticness does not occur.; int7 & sent7 -> hypothesis;
the fact that the sciaticness does not occur and the ecarte does not occur is not true.
$hypothesis$ = the sciaticness does not occur and the ecarte does not occur. ; $context$ = sent1: if the snorkeling happens that the sciaticness does not occur and the ecarte does not occur is incorrect. sent2: the fact that the lobectomy does not occur and the eremiticness does not occur is false. sent3: if the hypothecating sweetbread does not occur and the foreshowing regency happens then the revocableness happens. sent4: the sciaticness does not occur if the hypothecating grampus but not the snorkeling happens. sent5: that the hypothecating sweetbread does not occur and the foreshowing regency does not occur prevents the irrevocableness. sent6: that the hypothecating grampus occurs is not wrong. sent7: the ecarte does not occur. sent8: the snorkeling does not occur if that the hypothecating sweetbread does not occur and the foreshowing regency does not occur is not right. sent9: the rowing does not occur. sent10: if that the lobectomy does not occur and the eremiticness does not occur is false then the revocableness does not occur. sent11: the chromaticness is prevented by that the revocableness does not occur and the snorkeling does not occur. ; $proof$ = 
void -> assump1: Let's assume that the hypothecating sweetbread does not occur and the foreshowing regency does not occur.; sent5 & assump1 -> int1: that the revocableness happens is not false.; sent10 & sent2 -> int2: the revocableness does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: that the hypothecating sweetbread does not occur and the foreshowing regency does not occur does not hold.; int4 & sent8 -> int5: the snorkeling does not occur.; int5 & sent6 -> int6: the hypothecating grampus but not the snorkeling occurs.; int6 & sent4 -> int7: the sciaticness does not occur.; int7 & sent7 -> hypothesis; __PROVED__