the dilatation happens but the delay does not occur.
sent1: the orthodonticness happens and the jingoism does not occur. sent2: that the Vienneseness does not occur is true if the brooming articulator occurs and the genocide occurs. sent3: if the orthodonticness but not the jingoism occurs then the obedience happens. sent4: if the Vienneseness does not occur then the bestrewing honeyed occurs and the encrimsoning Viburnum does not occur. sent5: the fact that the dilatation but not the delay happens is incorrect if the fact that the brooming colon does not occur is right. sent6: that the piping does not occur is caused by that the bestrewing honeyed occurs but the encrimsoning Viburnum does not occur. sent7: the bestrewing reproach and the bestrewing Soave occurs if the scentlessness does not occur. sent8: if that the boiling does not occur and/or the wiglessness does not occur is not true then the scentlessness does not occur. sent9: that the boiling does not occur and/or the wiglessness does not occur is not correct if that the bestrewing Macleod happens hold. sent10: that either the hardball does not occur or the riptide does not occur or both is false if the encrimsoning silicle does not occur. sent11: if the brooming Euonymus does not occur the dilatation happens but the delaying does not occur. sent12: if that the Welsh occurs hold then the brooming articulator happens. sent13: if the jingoism does not occur then both the genocide and the rabbit occurs. sent14: if the fact that the hardball does not occur or the riptide does not occur or both does not hold then the orthodonticness does not occur. sent15: the orthodonticness happens. sent16: the brooming colon does not occur if the brooming Euonymus occurs and the obedience does not occur. sent17: the dilatation happens. sent18: the brooming Euonymus but not the obedience happens if the bestrewing reproach happens. sent19: if the orthodonticness does not occur the patience happens and the Welsh happens. sent20: if the obedience happens and/or the brooming colon occurs then the brooming Euonymus does not occur. sent21: if the piping does not occur the bestrewing Macleod occurs but the measuring does not occur. sent22: if the brooming Euonymus does not occur then the dilatation occurs.
sent3 & sent1 -> int1: that the obedience happens is not false.; int1 -> int2: either the obedience or the brooming colon or both happens.; sent20 & int2 -> int3: the brooming Euonymus does not occur.; sent11 & int3 -> hypothesis;
the fact that the dilatation happens but the delay does not occur is false.
$hypothesis$ = the dilatation happens but the delay does not occur. ; $context$ = sent1: the orthodonticness happens and the jingoism does not occur. sent2: that the Vienneseness does not occur is true if the brooming articulator occurs and the genocide occurs. sent3: if the orthodonticness but not the jingoism occurs then the obedience happens. sent4: if the Vienneseness does not occur then the bestrewing honeyed occurs and the encrimsoning Viburnum does not occur. sent5: the fact that the dilatation but not the delay happens is incorrect if the fact that the brooming colon does not occur is right. sent6: that the piping does not occur is caused by that the bestrewing honeyed occurs but the encrimsoning Viburnum does not occur. sent7: the bestrewing reproach and the bestrewing Soave occurs if the scentlessness does not occur. sent8: if that the boiling does not occur and/or the wiglessness does not occur is not true then the scentlessness does not occur. sent9: that the boiling does not occur and/or the wiglessness does not occur is not correct if that the bestrewing Macleod happens hold. sent10: that either the hardball does not occur or the riptide does not occur or both is false if the encrimsoning silicle does not occur. sent11: if the brooming Euonymus does not occur the dilatation happens but the delaying does not occur. sent12: if that the Welsh occurs hold then the brooming articulator happens. sent13: if the jingoism does not occur then both the genocide and the rabbit occurs. sent14: if the fact that the hardball does not occur or the riptide does not occur or both does not hold then the orthodonticness does not occur. sent15: the orthodonticness happens. sent16: the brooming colon does not occur if the brooming Euonymus occurs and the obedience does not occur. sent17: the dilatation happens. sent18: the brooming Euonymus but not the obedience happens if the bestrewing reproach happens. sent19: if the orthodonticness does not occur the patience happens and the Welsh happens. sent20: if the obedience happens and/or the brooming colon occurs then the brooming Euonymus does not occur. sent21: if the piping does not occur the bestrewing Macleod occurs but the measuring does not occur. sent22: if the brooming Euonymus does not occur then the dilatation occurs. ; $proof$ = 
sent3 & sent1 -> int1: that the obedience happens is not false.; int1 -> int2: either the obedience or the brooming colon or both happens.; sent20 & int2 -> int3: the brooming Euonymus does not occur.; sent11 & int3 -> hypothesis; __PROVED__