the fact that there exists something such that if the fact that it is a Boswell hold that it does disabuse Umbrian and it is not domestic does not hold is right.
sent1: the fact that there exists something such that if it is a Boswell it disabuses Umbrian and is not domestic is right. sent2: if the fact that something is a kind of a Boswell is right then it disabuses Umbrian and is not a domestic. sent3: if something is a Boswell that it disabuses Umbrian and it is not domestic is not correct. sent4: there is something such that if it is a Boswell then the fact that it does disabuse Umbrian and is domestic is wrong. sent5: if something is a Boswell that it does disabuse Umbrian and it is domestic is not correct. sent6: the anoa does disabuse Umbrian but it is not a domestic if it is a Boswell.
sent3 -> int1: the fact that the anoa disabuses Umbrian but it is not domestic is incorrect if it is a Boswell.; int1 -> hypothesis;
$hypothesis$ = the fact that there exists something such that if the fact that it is a Boswell hold that it does disabuse Umbrian and it is not domestic does not hold is right. ; $context$ = sent1: the fact that there exists something such that if it is a Boswell it disabuses Umbrian and is not domestic is right. sent2: if the fact that something is a kind of a Boswell is right then it disabuses Umbrian and is not a domestic. sent3: if something is a Boswell that it disabuses Umbrian and it is not domestic is not correct. sent4: there is something such that if it is a Boswell then the fact that it does disabuse Umbrian and is domestic is wrong. sent5: if something is a Boswell that it does disabuse Umbrian and it is domestic is not correct. sent6: the anoa does disabuse Umbrian but it is not a domestic if it is a Boswell. ; $proof$ = 
sent3 -> int1: the fact that the anoa disabuses Umbrian but it is not domestic is incorrect if it is a Boswell.; int1 -> hypothesis; __PROVED__