that that the cericness does not occur is caused by that the morphemicness happens does not hold.
sent1: if the fact that the ceremoniousness does not occur and the accounting does not occur is wrong the cericness occurs. sent2: the riot does not occur. sent3: the approximation occurs. sent4: if the ninepins occurs then the outing occurs. sent5: if the fact that the accord and the mammalianness happens is incorrect the morphemicness does not occur. sent6: the efferentness does not occur. sent7: that the calyculateness does not occur hold if the fact that the fertileness does not occur and the assailing postbox does not occur is incorrect. sent8: that the assailing bluestem occurs and the incriminating mayhem occurs does not hold. sent9: the accounting does not occur. sent10: the fact that the cericness does not occur is not incorrect if that the ceremoniousness does not occur and the accounting does not occur is wrong. sent11: the getting does not occur if that the fact that not the accounting but the getting happens is false hold. sent12: if the ceremoniousness does not occur then the fact that both the according and the mammalianness occurs is false. sent13: if the according does not occur the morphemicness does not occur. sent14: if that the undesirousness and the chancing hen happens is incorrect that the incriminating quickie does not occur is not incorrect. sent15: if the fact that the morphemicness happens is not false then the cericness occurs. sent16: the cericness occurs. sent17: that both the non-ceremoniousness and the accounting occurs is not true.
void -> assump2: Let's assume that the morphemicness occurs.; void -> assump1: Let's assume that the ceremoniousness does not occur and the accounting does not occur.; assump1 -> int1: the ceremoniousness does not occur.; sent12 & int1 -> int2: that the accord happens and the mammalianness occurs is not true.; sent5 & int2 -> int3: that the morphemicness occurs is wrong.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the ceremoniousness does not occur and the accounting does not occur is incorrect.; sent10 & int5 -> int6: that the cericness does not occur is correct.; [assump2] & int6 -> hypothesis;
the getting does not occur.
$hypothesis$ = that that the cericness does not occur is caused by that the morphemicness happens does not hold. ; $context$ = sent1: if the fact that the ceremoniousness does not occur and the accounting does not occur is wrong the cericness occurs. sent2: the riot does not occur. sent3: the approximation occurs. sent4: if the ninepins occurs then the outing occurs. sent5: if the fact that the accord and the mammalianness happens is incorrect the morphemicness does not occur. sent6: the efferentness does not occur. sent7: that the calyculateness does not occur hold if the fact that the fertileness does not occur and the assailing postbox does not occur is incorrect. sent8: that the assailing bluestem occurs and the incriminating mayhem occurs does not hold. sent9: the accounting does not occur. sent10: the fact that the cericness does not occur is not incorrect if that the ceremoniousness does not occur and the accounting does not occur is wrong. sent11: the getting does not occur if that the fact that not the accounting but the getting happens is false hold. sent12: if the ceremoniousness does not occur then the fact that both the according and the mammalianness occurs is false. sent13: if the according does not occur the morphemicness does not occur. sent14: if that the undesirousness and the chancing hen happens is incorrect that the incriminating quickie does not occur is not incorrect. sent15: if the fact that the morphemicness happens is not false then the cericness occurs. sent16: the cericness occurs. sent17: that both the non-ceremoniousness and the accounting occurs is not true. ; $proof$ = 
void -> assump2: Let's assume that the morphemicness occurs.; void -> assump1: Let's assume that the ceremoniousness does not occur and the accounting does not occur.; assump1 -> int1: the ceremoniousness does not occur.; sent12 & int1 -> int2: that the accord happens and the mammalianness occurs is not true.; sent5 & int2 -> int3: that the morphemicness occurs is wrong.; assump2 & int3 -> int4: this is contradiction.; [assump1] & int4 -> int5: that the ceremoniousness does not occur and the accounting does not occur is incorrect.; sent10 & int5 -> int6: that the cericness does not occur is correct.; [assump2] & int6 -> hypothesis; __DISPROVED__