that the transshipment does not occur and the thinking totality does not occur is triggered by the detour.
sent1: the transshipment does not occur if the posting Stonehenge occurs. sent2: the blackjack does not occur if the fact that the blackjack but not the detouring happens does not hold. sent3: the stiffness does not occur. sent4: if the detouring happens the posting Stonehenge happens.
void -> assump1: Let's assume that that the detour occurs is correct.; sent4 & assump1 -> int1: the posting Stonehenge happens.; int1 & sent1 -> int2: the transshipment does not occur.;
the blackjack does not occur.
$hypothesis$ = that the transshipment does not occur and the thinking totality does not occur is triggered by the detour. ; $context$ = sent1: the transshipment does not occur if the posting Stonehenge occurs. sent2: the blackjack does not occur if the fact that the blackjack but not the detouring happens does not hold. sent3: the stiffness does not occur. sent4: if the detouring happens the posting Stonehenge happens. ; $proof$ = 
void -> assump1: Let's assume that that the detour occurs is correct.; sent4 & assump1 -> int1: the posting Stonehenge happens.; int1 & sent1 -> int2: the transshipment does not occur.; __UNKNOWN__