the tattooing does not occur.
sent1: the fact that the intriguing Sirenia happens but the bullfighting does not occur does not hold if the concourse does not occur. sent2: that the scaling collotype and the non-modestness happens is false if the Booleanness occurs. sent3: if that the straightening occurs and the soothing occurs is wrong the fact that the Mauritanianness does not occur is correct. sent4: the tattooing does not occur if both the non-Mauritanianness and the IVP happens. sent5: both the Frenchness and the intriguing Pneumovax occurs. sent6: the criminalization occurs. sent7: the spasm does not occur if that the intriguing Sirenia but not the bullfighting happens is not right. sent8: if the lapping humorist does not occur both the Mauritanian and the carpeting evangelicalism occurs. sent9: both the underquoting and the warning happens. sent10: the lapping humorist does not occur if the fact that not the scamper but the scaling consolidation happens does not hold. sent11: if the fact that the scaling collotype happens but the modestness does not occur is not right then the concourse does not occur. sent12: the carpeting evangelicalism happens. sent13: if that both the zygomorphicness and the copying occurs is false then that the thoracotomy does not occur is not incorrect. sent14: the fact that the straightening occurs and the soothing happens is not true. sent15: if not the pinball but the incorrectness occurs the scaling Yale does not occur. sent16: if the straightening does not occur then the Mauritanianness does not occur. sent17: the fact that the scamper does not occur but the scaling consolidation occurs is not true if the spasm does not occur. sent18: the IVP and the carpeting evangelicalism happens.
sent3 & sent14 -> int1: the Mauritanian does not occur.; sent18 -> int2: the fact that the IVP happens is true.; int1 & int2 -> int3: the Mauritanian does not occur but the IVP occurs.; int3 & sent4 -> hypothesis;
the tattoo happens.
$hypothesis$ = the tattooing does not occur. ; $context$ = sent1: the fact that the intriguing Sirenia happens but the bullfighting does not occur does not hold if the concourse does not occur. sent2: that the scaling collotype and the non-modestness happens is false if the Booleanness occurs. sent3: if that the straightening occurs and the soothing occurs is wrong the fact that the Mauritanianness does not occur is correct. sent4: the tattooing does not occur if both the non-Mauritanianness and the IVP happens. sent5: both the Frenchness and the intriguing Pneumovax occurs. sent6: the criminalization occurs. sent7: the spasm does not occur if that the intriguing Sirenia but not the bullfighting happens is not right. sent8: if the lapping humorist does not occur both the Mauritanian and the carpeting evangelicalism occurs. sent9: both the underquoting and the warning happens. sent10: the lapping humorist does not occur if the fact that not the scamper but the scaling consolidation happens does not hold. sent11: if the fact that the scaling collotype happens but the modestness does not occur is not right then the concourse does not occur. sent12: the carpeting evangelicalism happens. sent13: if that both the zygomorphicness and the copying occurs is false then that the thoracotomy does not occur is not incorrect. sent14: the fact that the straightening occurs and the soothing happens is not true. sent15: if not the pinball but the incorrectness occurs the scaling Yale does not occur. sent16: if the straightening does not occur then the Mauritanianness does not occur. sent17: the fact that the scamper does not occur but the scaling consolidation occurs is not true if the spasm does not occur. sent18: the IVP and the carpeting evangelicalism happens. ; $proof$ = 
sent3 & sent14 -> int1: the Mauritanian does not occur.; sent18 -> int2: the fact that the IVP happens is true.; int1 & int2 -> int3: the Mauritanian does not occur but the IVP occurs.; int3 & sent4 -> hypothesis; __PROVED__