the clash does not occur.
sent1: that the inevitable happens is not true. sent2: the gastromy but not the scribble happens. sent3: the clashing triggers that the scribble occurs. sent4: if the digestibleness occurs then the prefixation occurs. sent5: the Thracian does not occur if either the clash does not occur or the scribble happens or both. sent6: the beating Moloch happens. sent7: the dominating journalism but not the unwovenness happens. sent8: the baryticness happens.
void -> assump1: Let's assume that the clash occurs.; sent3 & assump1 -> int1: the scribbling happens.; sent2 -> int2: the scribble does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis;
the Thracianness does not occur.
$hypothesis$ = the clash does not occur. ; $context$ = sent1: that the inevitable happens is not true. sent2: the gastromy but not the scribble happens. sent3: the clashing triggers that the scribble occurs. sent4: if the digestibleness occurs then the prefixation occurs. sent5: the Thracian does not occur if either the clash does not occur or the scribble happens or both. sent6: the beating Moloch happens. sent7: the dominating journalism but not the unwovenness happens. sent8: the baryticness happens. ; $proof$ = 
void -> assump1: Let's assume that the clash occurs.; sent3 & assump1 -> int1: the scribbling happens.; sent2 -> int2: the scribble does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> hypothesis; __PROVED__