the Irish does not occur.
sent1: the hush happens. sent2: the fact that the Irish occurs is correct if the perplexing alexic does not occur. sent3: the porcineness occurs if the sprinkle does not occur but the subjacentness occurs. sent4: the perplexing sickroom happens. sent5: the perplexing alexic happens. sent6: that not the sequel but the Brazilian happens results in the benzenoidness. sent7: that the swearing does not occur hold if the fact that the fasting does not occur and the swearing happens does not hold. sent8: the fakery happens. sent9: the Achaeanness happens. sent10: the fact that the harmony does not occur but the maleness happens is incorrect. sent11: that the atrialness does not occur is caused by that not the male but the elysianness occurs. sent12: the male does not occur if that the harmony does not occur and the male happens is wrong. sent13: the excising Gibraltar occurs. sent14: if the welcome happens the killing occurs. sent15: the welcoming happens if not the stigmatizing Pluto but the perplexing sickroom occurs. sent16: if the trusteeship happens the youngness happens. sent17: if the atrialness and the non-maleness occurs then that the Irishness does not occur hold. sent18: the allies is prevented by that the high-energiness and the radioactiveness happens. sent19: the perplexing alexic happens but the stigmatizing Pluto does not occur. sent20: if the fact that the killing happens hold the atrialness happens.
sent19 -> int1: the stigmatizing Pluto does not occur.; int1 & sent4 -> int2: the stigmatizing Pluto does not occur but the perplexing sickroom happens.; int2 & sent15 -> int3: the welcomeness happens.; int3 & sent14 -> int4: the killing happens.; int4 & sent20 -> int5: the atrialness occurs.; sent12 & sent10 -> int6: the male does not occur.; int5 & int6 -> int7: the atrialness but not the maleness occurs.; int7 & sent17 -> hypothesis;
the Irish occurs.
$hypothesis$ = the Irish does not occur. ; $context$ = sent1: the hush happens. sent2: the fact that the Irish occurs is correct if the perplexing alexic does not occur. sent3: the porcineness occurs if the sprinkle does not occur but the subjacentness occurs. sent4: the perplexing sickroom happens. sent5: the perplexing alexic happens. sent6: that not the sequel but the Brazilian happens results in the benzenoidness. sent7: that the swearing does not occur hold if the fact that the fasting does not occur and the swearing happens does not hold. sent8: the fakery happens. sent9: the Achaeanness happens. sent10: the fact that the harmony does not occur but the maleness happens is incorrect. sent11: that the atrialness does not occur is caused by that not the male but the elysianness occurs. sent12: the male does not occur if that the harmony does not occur and the male happens is wrong. sent13: the excising Gibraltar occurs. sent14: if the welcome happens the killing occurs. sent15: the welcoming happens if not the stigmatizing Pluto but the perplexing sickroom occurs. sent16: if the trusteeship happens the youngness happens. sent17: if the atrialness and the non-maleness occurs then that the Irishness does not occur hold. sent18: the allies is prevented by that the high-energiness and the radioactiveness happens. sent19: the perplexing alexic happens but the stigmatizing Pluto does not occur. sent20: if the fact that the killing happens hold the atrialness happens. ; $proof$ = 
sent19 -> int1: the stigmatizing Pluto does not occur.; int1 & sent4 -> int2: the stigmatizing Pluto does not occur but the perplexing sickroom happens.; int2 & sent15 -> int3: the welcomeness happens.; int3 & sent14 -> int4: the killing happens.; int4 & sent20 -> int5: the atrialness occurs.; sent12 & sent10 -> int6: the male does not occur.; int5 & int6 -> int7: the atrialness but not the maleness occurs.; int7 & sent17 -> hypothesis; __PROVED__