the Santee is a orology but not crinoid.
sent1: if that the Santee is bifilar and is not unwieldy hold it is a kind of a disjointedness. sent2: the Santee is a orology. sent3: if the fact that the Santee is a disjointedness hold then it is a kind of a orology and it is not a kind of a crinoid. sent4: the Santee is bifilar and not unwieldy.
sent1 & sent4 -> int1: the Santee is a disjointedness.; int1 & sent3 -> hypothesis;
$hypothesis$ = the Santee is a orology but not crinoid. ; $context$ = sent1: if that the Santee is bifilar and is not unwieldy hold it is a kind of a disjointedness. sent2: the Santee is a orology. sent3: if the fact that the Santee is a disjointedness hold then it is a kind of a orology and it is not a kind of a crinoid. sent4: the Santee is bifilar and not unwieldy. ; $proof$ = 
sent1 & sent4 -> int1: the Santee is a disjointedness.; int1 & sent3 -> hypothesis; __PROVED__