that the inexpedientness occurs or the punching happens or both if the clocking caraway does not occur is wrong.
sent1: the fact that the profaneness and the Mercurialness occurs is wrong if the salving sooth does not occur. sent2: the totaling happens and the fatherhood happens. sent3: if the punching does not occur then that the inexpedientness does not occur is right. sent4: the punching does not occur if the fact that both the profaneness and the Mercurialness happens is incorrect. sent5: if the inexpedientness does not occur that the clocking caraway happens and the fatherhood does not occur does not hold. sent6: the inexpedientness occurs if the totaling occurs and the clocking caraway does not occur. sent7: if the totaling does not occur then the vertebrateness happens. sent8: either the inexpedientness happens or the punch occurs or both if the clocking caraway happens. sent9: the inexpedientness occurs if the totaling and the clocking caraway occurs.
sent2 -> int1: the totaling happens.; void -> assump1: Let's assume that the clocking caraway does not occur.; int1 & assump1 -> int2: the totaling occurs and the clocking caraway does not occur.; int2 & sent6 -> int3: the inexpedientness occurs.; int3 -> int4: the inexpedientness happens or the punching happens or both.; [assump1] & int4 -> hypothesis;
the vertebrate happens.
$hypothesis$ = that the inexpedientness occurs or the punching happens or both if the clocking caraway does not occur is wrong. ; $context$ = sent1: the fact that the profaneness and the Mercurialness occurs is wrong if the salving sooth does not occur. sent2: the totaling happens and the fatherhood happens. sent3: if the punching does not occur then that the inexpedientness does not occur is right. sent4: the punching does not occur if the fact that both the profaneness and the Mercurialness happens is incorrect. sent5: if the inexpedientness does not occur that the clocking caraway happens and the fatherhood does not occur does not hold. sent6: the inexpedientness occurs if the totaling occurs and the clocking caraway does not occur. sent7: if the totaling does not occur then the vertebrateness happens. sent8: either the inexpedientness happens or the punch occurs or both if the clocking caraway happens. sent9: the inexpedientness occurs if the totaling and the clocking caraway occurs. ; $proof$ = 
sent2 -> int1: the totaling happens.; void -> assump1: Let's assume that the clocking caraway does not occur.; int1 & assump1 -> int2: the totaling occurs and the clocking caraway does not occur.; int2 & sent6 -> int3: the inexpedientness occurs.; int3 -> int4: the inexpedientness happens or the punching happens or both.; [assump1] & int4 -> hypothesis; __DISPROVED__