the spurting catcall and/or the logrolling occurs.
sent1: that the non-embolicness and the non-Sicilianness occurs leads to that the logrolling does not occur. sent2: if the indurating penitentiary does not occur then both the gallivanting and the dramaticness happens. sent3: the gallivanting leads to that the non-embolicness and the non-Sicilianness happens. sent4: the anthropophagy happens. sent5: the carouse does not occur and the xeroradiography does not occur if the fact that the embolicness happens hold. sent6: the gallivanting does not occur and the dramaticness does not occur if the indurating penitentiary happens. sent7: that the non-bulbaceousness and the circumnavigation happens is triggered by that the unmaliciousness does not occur. sent8: that the Tanzanianness does not occur but the ethicalness happens prevents the mastectomy. sent9: if the xeroradiography does not occur the fact that the spurting catcall and/or the logrolling happens is not correct. sent10: either the spurting run-time happens or the Hell happens or both. sent11: the yoga occurs and the usage does not occur. sent12: the spurting catcall occurs if the xeroradiography happens. sent13: that the mastectomy does not occur leads to that the indurating penitentiary does not occur and the stealth does not occur. sent14: that the gallivanting does not occur triggers that the Sicilian happens and the embolicness occurs. sent15: the unmaliciousness does not occur. sent16: not the Tanzanianness but the ethicalness occurs if the bulbaceousness does not occur. sent17: the xeroradiography but not the carousing occurs. sent18: the unethicalness is prevented by that the Sicilian occurs. sent19: the mastectomy does not occur if the fact that both the non-Tanzanianness and the mastectomy happens is not true. sent20: the Court and the xeroradiography happens if the carousing does not occur.
sent17 -> int1: the xeroradiography occurs.; sent12 & int1 -> int2: the spurting catcall happens.; int2 -> hypothesis;
that the spurting catcall or the logrolling or both happens is wrong.
$hypothesis$ = the spurting catcall and/or the logrolling occurs. ; $context$ = sent1: that the non-embolicness and the non-Sicilianness occurs leads to that the logrolling does not occur. sent2: if the indurating penitentiary does not occur then both the gallivanting and the dramaticness happens. sent3: the gallivanting leads to that the non-embolicness and the non-Sicilianness happens. sent4: the anthropophagy happens. sent5: the carouse does not occur and the xeroradiography does not occur if the fact that the embolicness happens hold. sent6: the gallivanting does not occur and the dramaticness does not occur if the indurating penitentiary happens. sent7: that the non-bulbaceousness and the circumnavigation happens is triggered by that the unmaliciousness does not occur. sent8: that the Tanzanianness does not occur but the ethicalness happens prevents the mastectomy. sent9: if the xeroradiography does not occur the fact that the spurting catcall and/or the logrolling happens is not correct. sent10: either the spurting run-time happens or the Hell happens or both. sent11: the yoga occurs and the usage does not occur. sent12: the spurting catcall occurs if the xeroradiography happens. sent13: that the mastectomy does not occur leads to that the indurating penitentiary does not occur and the stealth does not occur. sent14: that the gallivanting does not occur triggers that the Sicilian happens and the embolicness occurs. sent15: the unmaliciousness does not occur. sent16: not the Tanzanianness but the ethicalness occurs if the bulbaceousness does not occur. sent17: the xeroradiography but not the carousing occurs. sent18: the unethicalness is prevented by that the Sicilian occurs. sent19: the mastectomy does not occur if the fact that both the non-Tanzanianness and the mastectomy happens is not true. sent20: the Court and the xeroradiography happens if the carousing does not occur. ; $proof$ = 
sent17 -> int1: the xeroradiography occurs.; sent12 & int1 -> int2: the spurting catcall happens.; int2 -> hypothesis; __PROVED__