the header occurs and the dissenting Corse happens.
sent1: the fact that the distributiveness but not the dissenting Corse happens is wrong. sent2: that the endodonticness but not the arrogating resentment occurs is wrong. sent3: if the harassment but not the arrogating diflunisal occurs that the distributiveness does not occur hold. sent4: the telefilm happens and the header occurs. sent5: the liveness occurs. sent6: the fact that the keylessness occurs is not wrong. sent7: that the distributiveness and the dissenting Corse occurs does not hold. sent8: if the telefilm does not occur then the fact that the guaranteeing Gibson but not the blowout happens is wrong. sent9: the telefilm happens. sent10: the fact that both the header and the dissenting Corse occurs is incorrect if the telefilm does not occur. sent11: that not the header but the distributiveness happens is brought about by that the harassment does not occur. sent12: if the header does not occur then that not the dissenting Corse but the telefilm occurs is incorrect.
sent4 -> int1: the header occurs.;
that that the guaranteeing Gibson but not the blowout occurs is false is true.
$hypothesis$ = the header occurs and the dissenting Corse happens. ; $context$ = sent1: the fact that the distributiveness but not the dissenting Corse happens is wrong. sent2: that the endodonticness but not the arrogating resentment occurs is wrong. sent3: if the harassment but not the arrogating diflunisal occurs that the distributiveness does not occur hold. sent4: the telefilm happens and the header occurs. sent5: the liveness occurs. sent6: the fact that the keylessness occurs is not wrong. sent7: that the distributiveness and the dissenting Corse occurs does not hold. sent8: if the telefilm does not occur then the fact that the guaranteeing Gibson but not the blowout happens is wrong. sent9: the telefilm happens. sent10: the fact that both the header and the dissenting Corse occurs is incorrect if the telefilm does not occur. sent11: that not the header but the distributiveness happens is brought about by that the harassment does not occur. sent12: if the header does not occur then that not the dissenting Corse but the telefilm occurs is incorrect. ; $proof$ = 
sent4 -> int1: the header occurs.; __UNKNOWN__