the Pomeranian does settle and it does swab.
sent1: that the Pomeranian is a settle and a swabbing does not hold if the swine is not a settle. sent2: the Pomeranian is not a bicentennial if that the swine is a bicentennial but it is not a settle does not hold. sent3: the wallow is not a bicentennial if the fact that the dogcart does not neglect bachelor and is a bicentennial is not correct. sent4: if the swine is a kind of bicentennial a belly it is not a settle. sent5: the fact that the protoplasm is a sob and bellies hold. sent6: the Pitman is insurmountable. sent7: if something is a Smollett then it is not a swabbing. sent8: an insurmountable thing is a Smollett. sent9: that the swine is a kind of a bicentennial and is a belly is not incorrect.
sent4 & sent9 -> int1: the swine is not a kind of a settle.; sent1 & int1 -> hypothesis;
the Pomeranian is not a kind of a bicentennial.
sent7 -> int2: the Pitman does not swab if it is a Smollett.; sent8 -> int3: if the Pitman is insurmountable then it is a kind of a Smollett.; int3 & sent6 -> int4: the fact that the Pitman is a Smollett is not incorrect.; int2 & int4 -> int5: the Pitman does not swab.; int5 -> int6: there is something such that the fact that it is not a swabbing is not wrong.;
$hypothesis$ = the Pomeranian does settle and it does swab. ; $context$ = sent1: that the Pomeranian is a settle and a swabbing does not hold if the swine is not a settle. sent2: the Pomeranian is not a bicentennial if that the swine is a bicentennial but it is not a settle does not hold. sent3: the wallow is not a bicentennial if the fact that the dogcart does not neglect bachelor and is a bicentennial is not correct. sent4: if the swine is a kind of bicentennial a belly it is not a settle. sent5: the fact that the protoplasm is a sob and bellies hold. sent6: the Pitman is insurmountable. sent7: if something is a Smollett then it is not a swabbing. sent8: an insurmountable thing is a Smollett. sent9: that the swine is a kind of a bicentennial and is a belly is not incorrect. ; $proof$ = 
sent4 & sent9 -> int1: the swine is not a kind of a settle.; sent1 & int1 -> hypothesis; __DISPROVED__