the jarring arbitrage happens and the indemnifying happens.
sent1: the acquisition occurs and the clitoridectomy occurs if the Babylonianness does not occur. sent2: the fact that both the jarring arbitrage and the indemnifying occurs does not hold if the concretisticness does not occur. sent3: that the bardolatry does not occur is prevented by the repositioning. sent4: the colorimetricness does not occur if the fact that both the infernal and the pachinko occurs is wrong. sent5: that the infernalness and the pachinko happens is not true if the emending trave does not occur. sent6: if the jarring arbitrage does not occur then the fact that the fact that the concretisticness does not occur and the crackdown does not occur is wrong is not false. sent7: that the jarring arbitrage occurs is triggered by that the concretisticness happens. sent8: if that the concretisticness does not occur and the crackdown does not occur does not hold then the crackdown occurs. sent9: the clitoridectomy happens. sent10: if the acquisition occurs then the flip-flop does not occur and the emending trave does not occur. sent11: the concretisticness occurs. sent12: the jarring arbitrage does not occur if the cereal does not occur and the indemnifying does not occur. sent13: if the gauge does not occur the fact that the legalness and the emending tuff occurs is not correct. sent14: if the urticating Phalaenoptilus does not occur then the Babylonianness does not occur and the jarring disambiguation does not occur. sent15: the non-cerealness and the CBR occurs if the colorimetricness does not occur. sent16: that the cerealness occurs and the indemnifying happens is correct. sent17: if the fact that the legalness and the emending tuff occurs is not right then the indemnifying does not occur. sent18: the cladness occurs.
sent7 & sent11 -> int1: the jarring arbitrage occurs.; sent16 -> int2: the indemnifying occurs.; int1 & int2 -> hypothesis;
the crackdown happens.
$hypothesis$ = the jarring arbitrage happens and the indemnifying happens. ; $context$ = sent1: the acquisition occurs and the clitoridectomy occurs if the Babylonianness does not occur. sent2: the fact that both the jarring arbitrage and the indemnifying occurs does not hold if the concretisticness does not occur. sent3: that the bardolatry does not occur is prevented by the repositioning. sent4: the colorimetricness does not occur if the fact that both the infernal and the pachinko occurs is wrong. sent5: that the infernalness and the pachinko happens is not true if the emending trave does not occur. sent6: if the jarring arbitrage does not occur then the fact that the fact that the concretisticness does not occur and the crackdown does not occur is wrong is not false. sent7: that the jarring arbitrage occurs is triggered by that the concretisticness happens. sent8: if that the concretisticness does not occur and the crackdown does not occur does not hold then the crackdown occurs. sent9: the clitoridectomy happens. sent10: if the acquisition occurs then the flip-flop does not occur and the emending trave does not occur. sent11: the concretisticness occurs. sent12: the jarring arbitrage does not occur if the cereal does not occur and the indemnifying does not occur. sent13: if the gauge does not occur the fact that the legalness and the emending tuff occurs is not correct. sent14: if the urticating Phalaenoptilus does not occur then the Babylonianness does not occur and the jarring disambiguation does not occur. sent15: the non-cerealness and the CBR occurs if the colorimetricness does not occur. sent16: that the cerealness occurs and the indemnifying happens is correct. sent17: if the fact that the legalness and the emending tuff occurs is not right then the indemnifying does not occur. sent18: the cladness occurs. ; $proof$ = 
sent7 & sent11 -> int1: the jarring arbitrage occurs.; sent16 -> int2: the indemnifying occurs.; int1 & int2 -> hypothesis; __PROVED__