the collaring multiplication occurs.
sent1: that the cementitiousness does not occur prevents that the collaring multiplication occurs. sent2: the maladaptiveness does not occur. sent3: the propagandist does not occur. sent4: that if that the snipping does not occur hold then the propagandistness and the collaring multiplication happens hold. sent5: the spud does not occur and the propagandist does not occur. sent6: the fact that both the spud and the non-cementitiousness happens is incorrect if the propagandistness happens. sent7: the estuarineness does not occur. sent8: that the spud does not occur is prevented by the cementitiousness.
void -> assump1: Let's assume that the fact that the cementitiousness occurs is correct.; sent8 & assump1 -> int1: the spud occurs.; sent5 -> int2: the spudding does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cementitiousness does not occur.; int4 & sent1 -> hypothesis;
the collaring multiplication occurs.
$hypothesis$ = the collaring multiplication occurs. ; $context$ = sent1: that the cementitiousness does not occur prevents that the collaring multiplication occurs. sent2: the maladaptiveness does not occur. sent3: the propagandist does not occur. sent4: that if that the snipping does not occur hold then the propagandistness and the collaring multiplication happens hold. sent5: the spud does not occur and the propagandist does not occur. sent6: the fact that both the spud and the non-cementitiousness happens is incorrect if the propagandistness happens. sent7: the estuarineness does not occur. sent8: that the spud does not occur is prevented by the cementitiousness. ; $proof$ = 
void -> assump1: Let's assume that the fact that the cementitiousness occurs is correct.; sent8 & assump1 -> int1: the spud occurs.; sent5 -> int2: the spudding does not occur.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the cementitiousness does not occur.; int4 & sent1 -> hypothesis; __DISPROVED__