that the hydrokineticness occurs and the hijacking occurs prevents that the peaceableness happens.
sent1: the fact that that the unpaidness does not occur is not true hold. sent2: that the peaceableness does not occur is brought about by that the hydrokineticness and the unpaidness occurs. sent3: that the swapping pearl does not occur is brought about by that both the isentropicness and the logisticness occurs. sent4: the megillah happens.
void -> assump1: Let's assume that the hydrokineticness occurs and the hijack happens.; assump1 -> int1: that the hydrokineticness occurs hold.; int1 & sent1 -> int2: the hydrokineticness and the unpaidness occurs.; sent2 & int2 -> int3: the peaceableness does not occur.; [assump1] & int3 -> hypothesis;
$hypothesis$ = that the hydrokineticness occurs and the hijacking occurs prevents that the peaceableness happens. ; $context$ = sent1: the fact that that the unpaidness does not occur is not true hold. sent2: that the peaceableness does not occur is brought about by that the hydrokineticness and the unpaidness occurs. sent3: that the swapping pearl does not occur is brought about by that both the isentropicness and the logisticness occurs. sent4: the megillah happens. ; $proof$ = 
void -> assump1: Let's assume that the hydrokineticness occurs and the hijack happens.; assump1 -> int1: that the hydrokineticness occurs hold.; int1 & sent1 -> int2: the hydrokineticness and the unpaidness occurs.; sent2 & int2 -> int3: the peaceableness does not occur.; [assump1] & int3 -> hypothesis; __PROVED__