the kip does not occur.
sent1: that the paralleling salt does not occur and the cared-forness does not occur does not hold if the paradiddle does not occur. sent2: the overbearing militarist occurs. sent3: if the overbearing militarist does not occur then that the arteriolarness and the kip happens is not right. sent4: if both the paralleling salt and the overbearing man-of-the-earth happens the paralleling leprosy does not occur. sent5: the arteriolarness occurs. sent6: the overtness does not occur if the fact that the overtness happens and the walkabout does not occur is not true. sent7: the non-cationicness prevents that the clannishness does not occur. sent8: if the stylelessness does not occur the fact that the federalization but not the tyrannicide happens is wrong. sent9: the sabotage does not occur and the mutationalness does not occur if the extramuralness occurs. sent10: if that the federalization happens and the tyrannicide does not occur is incorrect the paradiddle does not occur. sent11: that the eleven-plus does not occur brings about that not the stylelessness but the unsoundness occurs. sent12: both the extramuralness and the comber occurs if the overtness does not occur. sent13: the cared-forness does not occur if both the overbearing militarist and the arteriolarness happens. sent14: if the cared-forness does not occur then the kip occurs. sent15: the saponaceousness is prevented by that the rockiness occurs and the circularness occurs. sent16: the redeeming does not occur if the fact that the sabotage does not occur and the mutationalness does not occur is not incorrect. sent17: if that both the arteriolarness and the kip occurs does not hold the kip does not occur. sent18: the eleven-plus does not occur and the rabbinicalness does not occur if the affairs occurs. sent19: that the affairs and the national occurs is caused by that the redeeming does not occur.
sent2 & sent5 -> int1: the overbearing militarist and the arteriolarness occurs.; int1 & sent13 -> int2: the cared-forness does not occur.; int2 & sent14 -> hypothesis;
the kip does not occur.
$hypothesis$ = the kip does not occur. ; $context$ = sent1: that the paralleling salt does not occur and the cared-forness does not occur does not hold if the paradiddle does not occur. sent2: the overbearing militarist occurs. sent3: if the overbearing militarist does not occur then that the arteriolarness and the kip happens is not right. sent4: if both the paralleling salt and the overbearing man-of-the-earth happens the paralleling leprosy does not occur. sent5: the arteriolarness occurs. sent6: the overtness does not occur if the fact that the overtness happens and the walkabout does not occur is not true. sent7: the non-cationicness prevents that the clannishness does not occur. sent8: if the stylelessness does not occur the fact that the federalization but not the tyrannicide happens is wrong. sent9: the sabotage does not occur and the mutationalness does not occur if the extramuralness occurs. sent10: if that the federalization happens and the tyrannicide does not occur is incorrect the paradiddle does not occur. sent11: that the eleven-plus does not occur brings about that not the stylelessness but the unsoundness occurs. sent12: both the extramuralness and the comber occurs if the overtness does not occur. sent13: the cared-forness does not occur if both the overbearing militarist and the arteriolarness happens. sent14: if the cared-forness does not occur then the kip occurs. sent15: the saponaceousness is prevented by that the rockiness occurs and the circularness occurs. sent16: the redeeming does not occur if the fact that the sabotage does not occur and the mutationalness does not occur is not incorrect. sent17: if that both the arteriolarness and the kip occurs does not hold the kip does not occur. sent18: the eleven-plus does not occur and the rabbinicalness does not occur if the affairs occurs. sent19: that the affairs and the national occurs is caused by that the redeeming does not occur. ; $proof$ = 
sent2 & sent5 -> int1: the overbearing militarist and the arteriolarness occurs.; int1 & sent13 -> int2: the cared-forness does not occur.; int2 & sent14 -> hypothesis; __DISPROVED__