the vasotomy does not occur.
sent1: the citrousness does not occur if the citrousness does not occur and/or the three-hitter happens. sent2: the fact that that the non-ergoticness or the technophilicness or both occurs is incorrect is true if the concocting strap does not occur. sent3: if the countercurrent does not occur the fact that the Faustianness does not occur and the concocting withdrawal happens does not hold. sent4: if the fact that the oligopoly does not occur is not wrong then the fact that both the alternating and the non-radiolucentness occurs is not true. sent5: the PIN does not occur if that the alternating happens but the radiolucentness does not occur is not right. sent6: the countercurrent does not occur. sent7: the vengeance does not occur if that the concocting enation happens and the astrologicalness occurs is not true. sent8: that the leptosporangiateness does not occur triggers the non-citrousness or the three-hitter or both. sent9: if the fact that both the non-Faustianness and the concocting withdrawal happens is incorrect then the concocting strap does not occur. sent10: that the concocting withdrawal and the Faustianness occurs is triggered by that the concocting Jagannath does not occur. sent11: the concocting Jagannath does not occur. sent12: the citrousness does not occur if the fact that the three-hitter does not occur but the citrousness occurs is wrong. sent13: that the rule occurs but the vengeance does not occur prevents that the oligopoly occurs. sent14: the ruling happens if that the non-ergoticness and/or the technophilicness happens is not correct. sent15: if the unifying or the non-leptosporangiateness or both happens the non-leptosporangiate does not occur. sent16: if the citrousness occurs or the concocting withdrawal happens or both then the vasotomy does not occur. sent17: the unifying and/or the non-leptosporangiateness happens if the PIN does not occur. sent18: if the anosmicness does not occur the fact that the concocting enation happens and the astrologicalness happens does not hold.
sent10 & sent11 -> int1: the concocting withdrawal and the Faustianness happens.; int1 -> int2: the concocting withdrawal occurs.; int2 -> int3: the citrousness occurs and/or the concocting withdrawal occurs.; sent16 & int3 -> hypothesis;
the devisal does not occur.
$hypothesis$ = the vasotomy does not occur. ; $context$ = sent1: the citrousness does not occur if the citrousness does not occur and/or the three-hitter happens. sent2: the fact that that the non-ergoticness or the technophilicness or both occurs is incorrect is true if the concocting strap does not occur. sent3: if the countercurrent does not occur the fact that the Faustianness does not occur and the concocting withdrawal happens does not hold. sent4: if the fact that the oligopoly does not occur is not wrong then the fact that both the alternating and the non-radiolucentness occurs is not true. sent5: the PIN does not occur if that the alternating happens but the radiolucentness does not occur is not right. sent6: the countercurrent does not occur. sent7: the vengeance does not occur if that the concocting enation happens and the astrologicalness occurs is not true. sent8: that the leptosporangiateness does not occur triggers the non-citrousness or the three-hitter or both. sent9: if the fact that both the non-Faustianness and the concocting withdrawal happens is incorrect then the concocting strap does not occur. sent10: that the concocting withdrawal and the Faustianness occurs is triggered by that the concocting Jagannath does not occur. sent11: the concocting Jagannath does not occur. sent12: the citrousness does not occur if the fact that the three-hitter does not occur but the citrousness occurs is wrong. sent13: that the rule occurs but the vengeance does not occur prevents that the oligopoly occurs. sent14: the ruling happens if that the non-ergoticness and/or the technophilicness happens is not correct. sent15: if the unifying or the non-leptosporangiateness or both happens the non-leptosporangiate does not occur. sent16: if the citrousness occurs or the concocting withdrawal happens or both then the vasotomy does not occur. sent17: the unifying and/or the non-leptosporangiateness happens if the PIN does not occur. sent18: if the anosmicness does not occur the fact that the concocting enation happens and the astrologicalness happens does not hold. ; $proof$ = 
sent10 & sent11 -> int1: the concocting withdrawal and the Faustianness happens.; int1 -> int2: the concocting withdrawal occurs.; int2 -> int3: the citrousness occurs and/or the concocting withdrawal occurs.; sent16 & int3 -> hypothesis; __PROVED__