that the Catalan is a Beerbohm but it is not an affiant is not true.
sent1: the fact that the Catalan is cousinly is not wrong. sent2: if something is a kind of a provincial the fact that it is a Beerbohm and it is not an affiant is not right. sent3: the Catalan does wear illiberality and is a provincial. sent4: the fact that the Catalan is a boxcar but it does not rabbet Praetorian is not correct. sent5: that something does wear illiberality and it is a Beerbohm does not hold if it is a kind of an affiant. sent6: the fact that the professionalization is wasteful and it wears illiberality does not hold.
sent3 -> int1: the Catalan is a provincial.; sent2 -> int2: if the Catalan is a provincial that it is a Beerbohm and it is not a kind of an affiant is incorrect.; int1 & int2 -> hypothesis;
$hypothesis$ = that the Catalan is a Beerbohm but it is not an affiant is not true. ; $context$ = sent1: the fact that the Catalan is cousinly is not wrong. sent2: if something is a kind of a provincial the fact that it is a Beerbohm and it is not an affiant is not right. sent3: the Catalan does wear illiberality and is a provincial. sent4: the fact that the Catalan is a boxcar but it does not rabbet Praetorian is not correct. sent5: that something does wear illiberality and it is a Beerbohm does not hold if it is a kind of an affiant. sent6: the fact that the professionalization is wasteful and it wears illiberality does not hold. ; $proof$ = 
sent3 -> int1: the Catalan is a provincial.; sent2 -> int2: if the Catalan is a provincial that it is a Beerbohm and it is not a kind of an affiant is incorrect.; int1 & int2 -> hypothesis; __PROVED__