the deanery does not occur.
sent1: the Draconianness occurs but the mounding Icarus does not occur if the trustfulness happens. sent2: that the mounding estrogen does not occur is caused by that the urticating gymslip happens and the familiarity does not occur. sent3: the Sovietness occurs if the fact that the buildup occurs hold. sent4: the fact that the mounding Icarus occurs is not incorrect if the mounding disgusting happens. sent5: both the urticating Philip and the mean happens if the mounding D.C. does not occur. sent6: if the mounding estrogen does not occur then the camping occurs and the desexualizing fairness occurs. sent7: if the camping does not occur then that the desexualizing fairness happens and the mounding estrogen happens is not correct. sent8: if the urticating platform does not occur then the trustfulness occurs and the unpublishableness occurs. sent9: the aroidness occurs. sent10: if the fact that the deanery does not occur and the mounding estrogen does not occur is incorrect the deanery happens. sent11: that the mounding Icarus occurs or that the Draconianness happens or both results in that the deanery does not occur. sent12: that the Draconianness occurs is correct if the fact that that the Draconianness does not occur and the unpublishableness occurs hold is not true. sent13: if that the fact that the desexualizing fairness happens and the mounding estrogen happens is not right hold the take does not occur. sent14: that the mounding Icarus but not the deanery happens is not true if that the Draconianness happens is right. sent15: the deanery does not occur if the Draconianness occurs. sent16: the fact that the urticating gymslip but not the familiarity occurs is true.
sent2 & sent16 -> int1: the mounding estrogen does not occur.; sent6 & int1 -> int2: both the camping and the desexualizing fairness happens.; int2 -> int3: the camping occurs.;
the take does not occur.
$hypothesis$ = the deanery does not occur. ; $context$ = sent1: the Draconianness occurs but the mounding Icarus does not occur if the trustfulness happens. sent2: that the mounding estrogen does not occur is caused by that the urticating gymslip happens and the familiarity does not occur. sent3: the Sovietness occurs if the fact that the buildup occurs hold. sent4: the fact that the mounding Icarus occurs is not incorrect if the mounding disgusting happens. sent5: both the urticating Philip and the mean happens if the mounding D.C. does not occur. sent6: if the mounding estrogen does not occur then the camping occurs and the desexualizing fairness occurs. sent7: if the camping does not occur then that the desexualizing fairness happens and the mounding estrogen happens is not correct. sent8: if the urticating platform does not occur then the trustfulness occurs and the unpublishableness occurs. sent9: the aroidness occurs. sent10: if the fact that the deanery does not occur and the mounding estrogen does not occur is incorrect the deanery happens. sent11: that the mounding Icarus occurs or that the Draconianness happens or both results in that the deanery does not occur. sent12: that the Draconianness occurs is correct if the fact that that the Draconianness does not occur and the unpublishableness occurs hold is not true. sent13: if that the fact that the desexualizing fairness happens and the mounding estrogen happens is not right hold the take does not occur. sent14: that the mounding Icarus but not the deanery happens is not true if that the Draconianness happens is right. sent15: the deanery does not occur if the Draconianness occurs. sent16: the fact that the urticating gymslip but not the familiarity occurs is true. ; $proof$ = 
sent2 & sent16 -> int1: the mounding estrogen does not occur.; sent6 & int1 -> int2: both the camping and the desexualizing fairness happens.; int2 -> int3: the camping occurs.; __UNKNOWN__