the hopper does not occur.
sent1: if the bellylessness occurs then the headquartering seemliness happens. sent2: the bottomed happens. sent3: the fact that the hopper does not occur is not false if the availableness occurs and the abolition happens. sent4: if that the judo does not occur hold both the embolectomy and the psychiatricness happens. sent5: both the outgeneraling daemon and the incarnation happens if the cupping does not occur. sent6: the deformationalness leads to that the abolition occurs. sent7: the cupping does not occur and/or the dinging preciseness happens. sent8: if the embolectomy occurs then the fact that both the hopper and the non-availableness occurs is not correct. sent9: the embolectomy occurs and the availableness happens. sent10: the fact that if the cupping does not occur and/or the dinging preciseness happens then that the fact that the cupping occurs is true is not true hold. sent11: that the unmanliness does not occur triggers that the judo does not occur and/or the psychiatricness does not occur. sent12: if the deformationalness does not occur that the abolition does not occur and the hopper does not occur does not hold. sent13: the unmanliness does not occur if the fact that both the unmanliness and the incarnation occurs does not hold. sent14: that the judo does not occur and/or that the psychiatricness does not occur prevents that the embolectomy does not occur. sent15: that the unmanliness happens and/or the anabaticness does not occur is caused by the incarnation. sent16: the non-psychiatricness results in that the hopper but not the embolectomy happens.
sent9 -> int1: the availableness occurs.;
the grunt occurs.
$hypothesis$ = the hopper does not occur. ; $context$ = sent1: if the bellylessness occurs then the headquartering seemliness happens. sent2: the bottomed happens. sent3: the fact that the hopper does not occur is not false if the availableness occurs and the abolition happens. sent4: if that the judo does not occur hold both the embolectomy and the psychiatricness happens. sent5: both the outgeneraling daemon and the incarnation happens if the cupping does not occur. sent6: the deformationalness leads to that the abolition occurs. sent7: the cupping does not occur and/or the dinging preciseness happens. sent8: if the embolectomy occurs then the fact that both the hopper and the non-availableness occurs is not correct. sent9: the embolectomy occurs and the availableness happens. sent10: the fact that if the cupping does not occur and/or the dinging preciseness happens then that the fact that the cupping occurs is true is not true hold. sent11: that the unmanliness does not occur triggers that the judo does not occur and/or the psychiatricness does not occur. sent12: if the deformationalness does not occur that the abolition does not occur and the hopper does not occur does not hold. sent13: the unmanliness does not occur if the fact that both the unmanliness and the incarnation occurs does not hold. sent14: that the judo does not occur and/or that the psychiatricness does not occur prevents that the embolectomy does not occur. sent15: that the unmanliness happens and/or the anabaticness does not occur is caused by the incarnation. sent16: the non-psychiatricness results in that the hopper but not the embolectomy happens. ; $proof$ = 
sent9 -> int1: the availableness occurs.; __UNKNOWN__