the fact that that the lament does not occur brings about that both the infixing Chilomastix and the nontranslationalness happens does not hold.
sent1: the Shinto does not occur if the fact that the bogging Oto but not the landing occurs is not true. sent2: that the spirited but not the capering copartner happens is not true. sent3: the translationalness does not occur and the infixing groover does not occur if that the lamenting occurs is not false. sent4: that the translationalness occurs and the lamenting does not occur does not hold. sent5: if the Cenozoic does not occur both the infixing Chilomastix and the lament happens. sent6: the infixing Chilomastix happens and the Cenozoic happens. sent7: that the Shinto does not occur triggers that not the Cenozoic but the squeaker occurs.
void -> assump2: Let's assume that that the translationalness occurs is true.; void -> assump1: Let's assume that the lamenting does not occur.; assump2 & assump1 -> int1: the translationalness happens but the lamenting does not occur.; int1 & sent4 -> int2: this is contradiction.; [assump2] & int2 -> int3: the translationalness does not occur.; sent6 -> int4: the infixing Chilomastix occurs.; int3 & int4 -> int5: the infixing Chilomastix but not the translationalness occurs.; [assump1] & int5 -> hypothesis;
the infixing groover does not occur.
$hypothesis$ = the fact that that the lament does not occur brings about that both the infixing Chilomastix and the nontranslationalness happens does not hold. ; $context$ = sent1: the Shinto does not occur if the fact that the bogging Oto but not the landing occurs is not true. sent2: that the spirited but not the capering copartner happens is not true. sent3: the translationalness does not occur and the infixing groover does not occur if that the lamenting occurs is not false. sent4: that the translationalness occurs and the lamenting does not occur does not hold. sent5: if the Cenozoic does not occur both the infixing Chilomastix and the lament happens. sent6: the infixing Chilomastix happens and the Cenozoic happens. sent7: that the Shinto does not occur triggers that not the Cenozoic but the squeaker occurs. ; $proof$ = 
void -> assump2: Let's assume that that the translationalness occurs is true.; void -> assump1: Let's assume that the lamenting does not occur.; assump2 & assump1 -> int1: the translationalness happens but the lamenting does not occur.; int1 & sent4 -> int2: this is contradiction.; [assump2] & int2 -> int3: the translationalness does not occur.; sent6 -> int4: the infixing Chilomastix occurs.; int3 & int4 -> int5: the infixing Chilomastix but not the translationalness occurs.; [assump1] & int5 -> hypothesis; __DISPROVED__