that the outboard happens brings about that the southeaster does not occur.
sent1: that both the palaver and the southeaster occurs is brought about by that the laxativeness does not occur. sent2: the insufflating Sinclair does not occur if the fact that the pancreaticness does not occur but the unlivableness occurs is incorrect. sent3: the southeaster does not occur if the fact that both the non-outboardness and the drilling Ajaia happens does not hold. sent4: that not the drilling Ajaia but the campylotropousness occurs is false if the drilling ultramicroscope does not occur. sent5: the southeaster occurs if the fact that both the non-outboardness and the drilling Ajaia occurs is incorrect. sent6: the fact that the campylotropousness does not occur is not wrong if the fact that the drilling Ajaia does not occur and the campylotropousness occurs is incorrect. sent7: the drilling ultramicroscope does not occur. sent8: the purple does not occur if the apocalypse occurs.
void -> assump2: Let's assume that not the outboardness but the drilling Ajaia happens.; assump2 -> int1: the outboardness does not occur.; void -> assump1: Let's assume that the outboard happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that not the outboardness but the drilling Ajaia occurs is incorrect.; int3 & sent3 -> int4: the southeaster does not occur.; [assump1] & int4 -> hypothesis;
both the non-campylotropousness and the insufflating Sinclair occurs.
sent4 & sent7 -> int5: the fact that the drilling Ajaia does not occur and the campylotropousness occurs does not hold.; sent6 & int5 -> int6: the campylotropousness does not occur.;
$hypothesis$ = that the outboard happens brings about that the southeaster does not occur. ; $context$ = sent1: that both the palaver and the southeaster occurs is brought about by that the laxativeness does not occur. sent2: the insufflating Sinclair does not occur if the fact that the pancreaticness does not occur but the unlivableness occurs is incorrect. sent3: the southeaster does not occur if the fact that both the non-outboardness and the drilling Ajaia happens does not hold. sent4: that not the drilling Ajaia but the campylotropousness occurs is false if the drilling ultramicroscope does not occur. sent5: the southeaster occurs if the fact that both the non-outboardness and the drilling Ajaia occurs is incorrect. sent6: the fact that the campylotropousness does not occur is not wrong if the fact that the drilling Ajaia does not occur and the campylotropousness occurs is incorrect. sent7: the drilling ultramicroscope does not occur. sent8: the purple does not occur if the apocalypse occurs. ; $proof$ = 
void -> assump2: Let's assume that not the outboardness but the drilling Ajaia happens.; assump2 -> int1: the outboardness does not occur.; void -> assump1: Let's assume that the outboard happens.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: the fact that not the outboardness but the drilling Ajaia occurs is incorrect.; int3 & sent3 -> int4: the southeaster does not occur.; [assump1] & int4 -> hypothesis; __PROVED__