the decolletage does personify Friedman.
sent1: if the shift is not a kind of a comment it is symbolic and it is solid. sent2: the fact that the shift is Cockney and it is a comment is wrong. sent3: if something that boards is a kind of a solid then it does not personify Black. sent4: if that the shift does not personify Friedman and it is not a kind of a leaflet is not correct then the truncheon is a Andorran. sent5: the shift is not a carburetor but it does jumble Montgomery if the Glengarry is not nonastringent. sent6: the shift is a boards if it is not a carburetor and does jumble Montgomery. sent7: something does not personify Friedman if that it is not a Andorran hold. sent8: if that the shift is a Cockney and it is a comment is not correct then it is not a kind of a comment. sent9: there is nothing such that it is a Andorran and is not a strand. sent10: if something does not personify Black then that it does not personify Friedman and is not a leaflet is incorrect. sent11: the fact that if the fact that something is a kind of a equilibration that is not phalangeal does not hold it is not a Cleridae is true. sent12: something does not personify Friedman if the fact that it is Andorran and it is not a kind of a strand does not hold. sent13: the Glengarry is not nonastringent. sent14: the decolletage does not personify Friedman if it is not Andorran.
sent9 -> int1: that the decolletage is both Andorran and not a strand is incorrect.; sent12 -> int2: the decolletage does not personify Friedman if that it is a Andorran and it is not a strand is not correct.; int1 & int2 -> hypothesis;
the fact that the decolletage is a Tyson but it is non-Andorran does not hold.
sent10 -> int3: if the shift does not personify Black then the fact that it does not personify Friedman and is not a leaflet is wrong.;
$hypothesis$ = the decolletage does personify Friedman. ; $context$ = sent1: if the shift is not a kind of a comment it is symbolic and it is solid. sent2: the fact that the shift is Cockney and it is a comment is wrong. sent3: if something that boards is a kind of a solid then it does not personify Black. sent4: if that the shift does not personify Friedman and it is not a kind of a leaflet is not correct then the truncheon is a Andorran. sent5: the shift is not a carburetor but it does jumble Montgomery if the Glengarry is not nonastringent. sent6: the shift is a boards if it is not a carburetor and does jumble Montgomery. sent7: something does not personify Friedman if that it is not a Andorran hold. sent8: if that the shift is a Cockney and it is a comment is not correct then it is not a kind of a comment. sent9: there is nothing such that it is a Andorran and is not a strand. sent10: if something does not personify Black then that it does not personify Friedman and is not a leaflet is incorrect. sent11: the fact that if the fact that something is a kind of a equilibration that is not phalangeal does not hold it is not a Cleridae is true. sent12: something does not personify Friedman if the fact that it is Andorran and it is not a kind of a strand does not hold. sent13: the Glengarry is not nonastringent. sent14: the decolletage does not personify Friedman if it is not Andorran. ; $proof$ = 
sent9 -> int1: that the decolletage is both Andorran and not a strand is incorrect.; sent12 -> int2: the decolletage does not personify Friedman if that it is a Andorran and it is not a strand is not correct.; int1 & int2 -> hypothesis; __DISPROVED__