the cockleshell is not a predicament.
sent1: if something does not diminish reappearance it is a kind of a thermoplastic. sent2: the ski is a Sarcophaga. sent3: the cockleshell is not collegial. sent4: the cockleshell ministers. sent5: the cockleshell is not a hood and it does not recite. sent6: the cockleshell is not a Sarcophaga and not a scup. sent7: the sima is not a kind of a scup. sent8: that the cockleshell is a chignon is true if it is not armless. sent9: the grandparent is a kind of a predicament. sent10: the cockleshell is not a scup. sent11: something that is not a Sarcophaga is armless. sent12: that the dock is not armless hold. sent13: the cockleshell is not a Thorndike and it is not a chordate. sent14: the matte is not a predicament. sent15: the antelope is a kind of a scup and it is a kind of a Sarcophaga if that the hydrant is not armless is not false. sent16: the cockleshell is a predicament if it is armless.
sent6 -> int1: the cockleshell is not a Sarcophaga.; sent11 -> int2: if that the cockleshell is not a Sarcophaga is right it is armless.; int1 & int2 -> int3: the cockleshell is armless.; int3 & sent16 -> hypothesis;
the cockleshell is not a predicament.
$hypothesis$ = the cockleshell is not a predicament. ; $context$ = sent1: if something does not diminish reappearance it is a kind of a thermoplastic. sent2: the ski is a Sarcophaga. sent3: the cockleshell is not collegial. sent4: the cockleshell ministers. sent5: the cockleshell is not a hood and it does not recite. sent6: the cockleshell is not a Sarcophaga and not a scup. sent7: the sima is not a kind of a scup. sent8: that the cockleshell is a chignon is true if it is not armless. sent9: the grandparent is a kind of a predicament. sent10: the cockleshell is not a scup. sent11: something that is not a Sarcophaga is armless. sent12: that the dock is not armless hold. sent13: the cockleshell is not a Thorndike and it is not a chordate. sent14: the matte is not a predicament. sent15: the antelope is a kind of a scup and it is a kind of a Sarcophaga if that the hydrant is not armless is not false. sent16: the cockleshell is a predicament if it is armless. ; $proof$ = 
sent6 -> int1: the cockleshell is not a Sarcophaga.; sent11 -> int2: if that the cockleshell is not a Sarcophaga is right it is armless.; int1 & int2 -> int3: the cockleshell is armless.; int3 & sent16 -> hypothesis; __DISPROVED__