the unction does not occur and the bitch occurs.
sent1: that the habituation does not occur is correct. sent2: the dogmatizing Brinton does not occur. sent3: either that the number does not occur or the non-digestiveness or both prevents that the bitch does not occur. sent4: if the fistfight occurs then the habituation happens. sent5: the unction does not occur. sent6: the determining refectory does not occur and the number does not occur if the fistfighting does not occur. sent7: the dogmatizing palmetto does not occur or the adjudication does not occur or both. sent8: the tending does not occur.
void -> assump1: Let's assume that the fistfight occurs.; sent4 & assump1 -> int1: that the habituation occurs hold.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fistfight does not occur.; int3 & sent6 -> int4: the determining refectory does not occur and the number does not occur.; int4 -> int5: the fact that the numbering does not occur hold.; int5 -> int6: the fact that the number does not occur and/or the digestiveness does not occur hold.; int6 & sent3 -> int7: the bitch happens.; int7 & sent5 -> hypothesis;
$hypothesis$ = the unction does not occur and the bitch occurs. ; $context$ = sent1: that the habituation does not occur is correct. sent2: the dogmatizing Brinton does not occur. sent3: either that the number does not occur or the non-digestiveness or both prevents that the bitch does not occur. sent4: if the fistfight occurs then the habituation happens. sent5: the unction does not occur. sent6: the determining refectory does not occur and the number does not occur if the fistfighting does not occur. sent7: the dogmatizing palmetto does not occur or the adjudication does not occur or both. sent8: the tending does not occur. ; $proof$ = 
void -> assump1: Let's assume that the fistfight occurs.; sent4 & assump1 -> int1: that the habituation occurs hold.; int1 & sent1 -> int2: this is contradiction.; [assump1] & int2 -> int3: the fistfight does not occur.; int3 & sent6 -> int4: the determining refectory does not occur and the number does not occur.; int4 -> int5: the fact that the numbering does not occur hold.; int5 -> int6: the fact that the number does not occur and/or the digestiveness does not occur hold.; int6 & sent3 -> int7: the bitch happens.; int7 & sent5 -> hypothesis; __PROVED__