the clianthus is not satisfactory.
sent1: if the bladderwrack is a stardom and is not a posterior the clianthus is satisfactory. sent2: a utopian thing is a stardom and is not a posterior. sent3: the bladderwrack is utopian and it is a graniteware.
sent2 -> int1: if the bladderwrack is utopian then it is a stardom and is not a posterior.; sent3 -> int2: the bladderwrack is utopian.; int1 & int2 -> int3: the bladderwrack is a stardom and is not a kind of a posterior.; int3 & sent1 -> hypothesis;
$hypothesis$ = the clianthus is not satisfactory. ; $context$ = sent1: if the bladderwrack is a stardom and is not a posterior the clianthus is satisfactory. sent2: a utopian thing is a stardom and is not a posterior. sent3: the bladderwrack is utopian and it is a graniteware. ; $proof$ = 
sent2 -> int1: if the bladderwrack is utopian then it is a stardom and is not a posterior.; sent3 -> int2: the bladderwrack is utopian.; int1 & int2 -> int3: the bladderwrack is a stardom and is not a kind of a posterior.; int3 & sent1 -> hypothesis; __DISPROVED__