the fact that the undershrub is not an allegiance but chiromantic does not hold.
sent1: the fact that the undershrub is not an allegiance and is chiromantic is not right if the soporific is a kind of a somatotype. sent2: the fact that the undershrub is an allegiance and is chiromantic is incorrect if the fact that the soporific is a somatotype is not incorrect. sent3: if the soporific is chiromantic that the undershrub is a kind of an allegiance that is a somatotype is false. sent4: the soporific is a somatotype. sent5: something is not an allegiance but it is chiromantic if it is not a somatotype.
sent1 & sent4 -> hypothesis;
the undershrub is not a kind of an allegiance but it is chiromantic.
sent5 -> int1: if the undershrub is not a somatotype it is not an allegiance but chiromantic.;
$hypothesis$ = the fact that the undershrub is not an allegiance but chiromantic does not hold. ; $context$ = sent1: the fact that the undershrub is not an allegiance and is chiromantic is not right if the soporific is a kind of a somatotype. sent2: the fact that the undershrub is an allegiance and is chiromantic is incorrect if the fact that the soporific is a somatotype is not incorrect. sent3: if the soporific is chiromantic that the undershrub is a kind of an allegiance that is a somatotype is false. sent4: the soporific is a somatotype. sent5: something is not an allegiance but it is chiromantic if it is not a somatotype. ; $proof$ = 
sent1 & sent4 -> hypothesis; __PROVED__