the caddie occurs and the jam happens.
sent1: the fact that the dogmatizing frogmouth occurs hold. sent2: if the collimation does not occur the dogmatizing frogmouth happens. sent3: if the dogmatizing unseemliness does not occur that both the caddying and the jam happens is false. sent4: if that the dogmatizing unseemliness does not occur is not wrong the fact that the bowdlerization does not occur and the disagreeing does not occur does not hold. sent5: the collimation happens if that the Sabbatarian does not occur and the collimation does not occur is false. sent6: the caddie happens if the disagreeing occurs. sent7: the collimation does not occur. sent8: the dogmatizing unseemliness occurs. sent9: the non-linealness yields that the alert does not occur and the parenteralness occurs. sent10: if the exhaustibleness happens then the dogmatizing unseemliness does not occur. sent11: that the Sabbatarianness does not occur and the collimation does not occur is not correct if the Washingtonianness does not occur. sent12: that the dogmatizing frogmouth and the jamming happens is brought about by that the collimation does not occur. sent13: that the jam does not occur yields that the caddie happens and the dormancy happens. sent14: if the alert does not occur then that the Washingtonianness but not the bareboating happens is not true. sent15: the Washingtonian does not occur if the fact that the Washingtonian occurs and the bareboating does not occur is wrong. sent16: if the collimation occurs then the fact that the disagreeing happens and the dogmatizing frogmouth does not occur does not hold. sent17: the linealness does not occur if the messaging and the thunderclap happens. sent18: the bowdlerization happens if that the bowdlerization does not occur and the disagreeing does not occur is wrong.
sent12 & sent7 -> int1: the dogmatizing frogmouth and the jam occurs.; int1 -> int2: the jamming occurs.;
the bowdlerization and the dormancy occurs.
$hypothesis$ = the caddie occurs and the jam happens. ; $context$ = sent1: the fact that the dogmatizing frogmouth occurs hold. sent2: if the collimation does not occur the dogmatizing frogmouth happens. sent3: if the dogmatizing unseemliness does not occur that both the caddying and the jam happens is false. sent4: if that the dogmatizing unseemliness does not occur is not wrong the fact that the bowdlerization does not occur and the disagreeing does not occur does not hold. sent5: the collimation happens if that the Sabbatarian does not occur and the collimation does not occur is false. sent6: the caddie happens if the disagreeing occurs. sent7: the collimation does not occur. sent8: the dogmatizing unseemliness occurs. sent9: the non-linealness yields that the alert does not occur and the parenteralness occurs. sent10: if the exhaustibleness happens then the dogmatizing unseemliness does not occur. sent11: that the Sabbatarianness does not occur and the collimation does not occur is not correct if the Washingtonianness does not occur. sent12: that the dogmatizing frogmouth and the jamming happens is brought about by that the collimation does not occur. sent13: that the jam does not occur yields that the caddie happens and the dormancy happens. sent14: if the alert does not occur then that the Washingtonianness but not the bareboating happens is not true. sent15: the Washingtonian does not occur if the fact that the Washingtonian occurs and the bareboating does not occur is wrong. sent16: if the collimation occurs then the fact that the disagreeing happens and the dogmatizing frogmouth does not occur does not hold. sent17: the linealness does not occur if the messaging and the thunderclap happens. sent18: the bowdlerization happens if that the bowdlerization does not occur and the disagreeing does not occur is wrong. ; $proof$ = 
sent12 & sent7 -> int1: the dogmatizing frogmouth and the jam occurs.; int1 -> int2: the jamming occurs.; __UNKNOWN__