the Litany does not occur and the haploidness does not occur if the teleportation does not occur.
sent1: that the seam happens is prevented by that either the shamble does not occur or the seam does not occur or both. sent2: either the shamble does not occur or the seam does not occur or both. sent3: the anamnesticness occurs if the astronavigation does not occur and the refraining loaf happens. sent4: if the anamnesticness happens but the seaming does not occur then the viscometry does not occur. sent5: if the viscometry does not occur then the Litany does not occur and the haploidness does not occur. sent6: that the astronavigation occurs leads to the teleportation.
void -> assump2: Let's assume that the astronavigation happens.; sent6 & assump2 -> int1: the teleportation happens.; void -> assump1: Let's assume that the teleportation does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the astronavigation does not occur is not false.; sent1 & sent2 -> int4: the seaming does not occur.;
$hypothesis$ = the Litany does not occur and the haploidness does not occur if the teleportation does not occur. ; $context$ = sent1: that the seam happens is prevented by that either the shamble does not occur or the seam does not occur or both. sent2: either the shamble does not occur or the seam does not occur or both. sent3: the anamnesticness occurs if the astronavigation does not occur and the refraining loaf happens. sent4: if the anamnesticness happens but the seaming does not occur then the viscometry does not occur. sent5: if the viscometry does not occur then the Litany does not occur and the haploidness does not occur. sent6: that the astronavigation occurs leads to the teleportation. ; $proof$ = 
void -> assump2: Let's assume that the astronavigation happens.; sent6 & assump2 -> int1: the teleportation happens.; void -> assump1: Let's assume that the teleportation does not occur.; int1 & assump1 -> int2: this is contradiction.; [assump2] & int2 -> int3: that the astronavigation does not occur is not false.; sent1 & sent2 -> int4: the seaming does not occur.; __UNKNOWN__