the nickeling outburst causes that the unlikeness does not occur or the organizing suede does not occur or both.
sent1: that the bordering and the nickeling outburst occurs results in that the unlikeness does not occur. sent2: the unlikeness does not occur and/or the organizing suede happens. sent3: the unlikeness occurs. sent4: the unlikeness occurs and/or the organizing suede does not occur. sent5: the bordering occurs. sent6: if the nickeling outburst happens the non-unlikeness or the organizing suede or both happens. sent7: either the unlikeness or that the organizing suede does not occur or both is caused by that the nickeling outburst happens. sent8: that the border happens and the nickeling outburst occurs triggers that the unlikeness happens.
void -> assump1: Let's assume that the nickeling outburst happens.; sent5 & assump1 -> int1: the border and the nickeling outburst occurs.; sent1 & int1 -> int2: the unlikeness does not occur.; int2 -> int3: that the unlikeness does not occur or the organizing suede does not occur or both is not false.; [assump1] & int3 -> hypothesis;
$hypothesis$ = the nickeling outburst causes that the unlikeness does not occur or the organizing suede does not occur or both. ; $context$ = sent1: that the bordering and the nickeling outburst occurs results in that the unlikeness does not occur. sent2: the unlikeness does not occur and/or the organizing suede happens. sent3: the unlikeness occurs. sent4: the unlikeness occurs and/or the organizing suede does not occur. sent5: the bordering occurs. sent6: if the nickeling outburst happens the non-unlikeness or the organizing suede or both happens. sent7: either the unlikeness or that the organizing suede does not occur or both is caused by that the nickeling outburst happens. sent8: that the border happens and the nickeling outburst occurs triggers that the unlikeness happens. ; $proof$ = 
void -> assump1: Let's assume that the nickeling outburst happens.; sent5 & assump1 -> int1: the border and the nickeling outburst occurs.; sent1 & int1 -> int2: the unlikeness does not occur.; int2 -> int3: that the unlikeness does not occur or the organizing suede does not occur or both is not false.; [assump1] & int3 -> hypothesis; __PROVED__