the fact that that the mesentericness does not occur and the cretaceousness does not occur is caused by the cleavage is not true.
sent1: the swat does not occur if the cranialness happens. sent2: if the mesentericness occurs the cleavage occurs. sent3: the tailback is prevented by that the mesentericness does not occur and the cleavage does not occur. sent4: that both the non-amnioticness and the cretaceousness happens is brought about by the punctuation. sent5: the fact that the cretaceousness does not occur is not false. sent6: the cleavage does not occur if the fact that the mesentericness occurs is true.
void -> assump1: Let's assume that the fact that the mesentericness occurs hold.; sent6 & assump1 -> int1: the cleavage does not occur.; void -> assump2: Let's assume that that the cleavage happens is not incorrect.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the mesentericness does not occur.; int3 & sent5 -> int4: the non-mesentericness and the non-cretaceousness occurs.; [assump2] & int4 -> hypothesis;
the tailback does not occur.
$hypothesis$ = the fact that that the mesentericness does not occur and the cretaceousness does not occur is caused by the cleavage is not true. ; $context$ = sent1: the swat does not occur if the cranialness happens. sent2: if the mesentericness occurs the cleavage occurs. sent3: the tailback is prevented by that the mesentericness does not occur and the cleavage does not occur. sent4: that both the non-amnioticness and the cretaceousness happens is brought about by the punctuation. sent5: the fact that the cretaceousness does not occur is not false. sent6: the cleavage does not occur if the fact that the mesentericness occurs is true. ; $proof$ = 
void -> assump1: Let's assume that the fact that the mesentericness occurs hold.; sent6 & assump1 -> int1: the cleavage does not occur.; void -> assump2: Let's assume that that the cleavage happens is not incorrect.; int1 & assump2 -> int2: this is contradiction.; [assump1] & int2 -> int3: the mesentericness does not occur.; int3 & sent5 -> int4: the non-mesentericness and the non-cretaceousness occurs.; [assump2] & int4 -> hypothesis; __DISPROVED__