the Negress is not a kind of a Rotterdam.
sent1: something is not a Phocidae if it does not beset and it is a eriogonum. sent2: if something is not ergotropic and is a bicentennial it is a kind of a Rotterdam. sent3: the Negress is a kind of a Rotterdam if it is ergotropic and it is a kind of a bicentennial. sent4: if something is a eriogonum then it besets. sent5: there is something such that it is mesomorphic. sent6: the west besets. sent7: that the trustbuster is a kind of a Jacksonian is not false. sent8: the baggageman is a eriogonum if that the west is a Phocidae is not false. sent9: the Negress is a eriogonum. sent10: if the west is a bicentennial that the diflunisal is a bicentennial is not false. sent11: if there is something such that that it is mesomorphic is true then the west is a kind of a Phocidae. sent12: the Negress is not ergotropic but it is a bicentennial if the baggageman besets.
sent5 & sent11 -> int1: the west is a Phocidae.; int1 & sent8 -> int2: the baggageman is a eriogonum.; sent4 -> int3: the baggageman besets if it is a kind of a eriogonum.; int2 & int3 -> int4: the baggageman besets.; int4 & sent12 -> int5: the Negress is not ergotropic but it is a bicentennial.; sent2 -> int6: if the Negress is not ergotropic but it is a bicentennial then it is a Rotterdam.; int5 & int6 -> hypothesis;
the diflunisal is a bicentennial.
$hypothesis$ = the Negress is not a kind of a Rotterdam. ; $context$ = sent1: something is not a Phocidae if it does not beset and it is a eriogonum. sent2: if something is not ergotropic and is a bicentennial it is a kind of a Rotterdam. sent3: the Negress is a kind of a Rotterdam if it is ergotropic and it is a kind of a bicentennial. sent4: if something is a eriogonum then it besets. sent5: there is something such that it is mesomorphic. sent6: the west besets. sent7: that the trustbuster is a kind of a Jacksonian is not false. sent8: the baggageman is a eriogonum if that the west is a Phocidae is not false. sent9: the Negress is a eriogonum. sent10: if the west is a bicentennial that the diflunisal is a bicentennial is not false. sent11: if there is something such that that it is mesomorphic is true then the west is a kind of a Phocidae. sent12: the Negress is not ergotropic but it is a bicentennial if the baggageman besets. ; $proof$ = 
sent5 & sent11 -> int1: the west is a Phocidae.; int1 & sent8 -> int2: the baggageman is a eriogonum.; sent4 -> int3: the baggageman besets if it is a kind of a eriogonum.; int2 & int3 -> int4: the baggageman besets.; int4 & sent12 -> int5: the Negress is not ergotropic but it is a bicentennial.; sent2 -> int6: if the Negress is not ergotropic but it is a bicentennial then it is a Rotterdam.; int5 & int6 -> hypothesis; __DISPROVED__