the alkahesticness and the answer occurs.
sent1: both the spectacular and the sorting occurs. sent2: if the fact that the resumption but not the unifilarness happens is incorrect then the taxonomicness does not occur. sent3: the fact that the anachronism happens and the wrench occurs is false. sent4: the answer occurs if the detriment does not occur. sent5: the banning spoiler and the banning pipage occurs if the halma does not occur. sent6: the answering happens. sent7: the preserve does not occur if the urogenitalness does not occur and the slops happens. sent8: that the anachronism but not the wrench occurs is not correct. sent9: the fact that the suborning greengrocery occurs and the handover does not occur is not correct. sent10: if the wrenching happens then the detriment does not occur. sent11: if the detriment does not occur then the alkahesticness and the answering happens. sent12: if the urogenitalness does not occur then the suborning Momus happens and the slurping occurs. sent13: the urogenitalness does not occur. sent14: the fact that the detriment does not occur is true if that the anachronism happens but the wrench does not occur does not hold. sent15: that the preserve does not occur yields that the embellishment occurs and the answer occurs. sent16: if the fact that that the Barbadian does not occur and the slopping does not occur is right is incorrect then the slopping happens. sent17: that the Barbadianness does not occur and the slops does not occur is not right. sent18: that both the non-alkahesticness and the non-catabolicness occurs is caused by the pornography.
sent14 & sent8 -> int1: the detriment does not occur.; sent11 & int1 -> hypothesis;
the epicyclicness happens and the embellishment happens.
sent16 & sent17 -> int2: the slopping happens.; sent13 & int2 -> int3: the non-urogenitalness and the slopping happens.; sent7 & int3 -> int4: the preserve does not occur.; sent15 & int4 -> int5: both the embellishment and the answering happens.; int5 -> int6: that the embellishment occurs hold.;
$hypothesis$ = the alkahesticness and the answer occurs. ; $context$ = sent1: both the spectacular and the sorting occurs. sent2: if the fact that the resumption but not the unifilarness happens is incorrect then the taxonomicness does not occur. sent3: the fact that the anachronism happens and the wrench occurs is false. sent4: the answer occurs if the detriment does not occur. sent5: the banning spoiler and the banning pipage occurs if the halma does not occur. sent6: the answering happens. sent7: the preserve does not occur if the urogenitalness does not occur and the slops happens. sent8: that the anachronism but not the wrench occurs is not correct. sent9: the fact that the suborning greengrocery occurs and the handover does not occur is not correct. sent10: if the wrenching happens then the detriment does not occur. sent11: if the detriment does not occur then the alkahesticness and the answering happens. sent12: if the urogenitalness does not occur then the suborning Momus happens and the slurping occurs. sent13: the urogenitalness does not occur. sent14: the fact that the detriment does not occur is true if that the anachronism happens but the wrench does not occur does not hold. sent15: that the preserve does not occur yields that the embellishment occurs and the answer occurs. sent16: if the fact that that the Barbadian does not occur and the slopping does not occur is right is incorrect then the slopping happens. sent17: that the Barbadianness does not occur and the slops does not occur is not right. sent18: that both the non-alkahesticness and the non-catabolicness occurs is caused by the pornography. ; $proof$ = 
sent14 & sent8 -> int1: the detriment does not occur.; sent11 & int1 -> hypothesis; __PROVED__