the slate is a uremia.
sent1: the slate is a uremia if that the leveret does bifurcate but it is not a collodion is wrong. sent2: the cold is a collodion if it is a liftoff. sent3: that the slate is a kind of a collodion that is not a kind of a uremia is wrong if the cold is a uremia. sent4: something is not a uremia if that it is a liftoff hold. sent5: the fact that the slate bifurcates and it is a kind of a uremia does not hold. sent6: the fact that the leveret bifurcates but it is not a collodion is not correct if the cold is a kind of a collodion. sent7: the bill does bifurcate. sent8: the cold is a liftoff.
sent2 & sent8 -> int1: the cold is a collodion.; sent6 & int1 -> int2: the fact that the leveret bifurcates but it is not a collodion is wrong.; sent1 & int2 -> hypothesis;
the slate is not a kind of a uremia.
sent4 -> int3: if the slate is a kind of a liftoff then it is not a uremia.;
$hypothesis$ = the slate is a uremia. ; $context$ = sent1: the slate is a uremia if that the leveret does bifurcate but it is not a collodion is wrong. sent2: the cold is a collodion if it is a liftoff. sent3: that the slate is a kind of a collodion that is not a kind of a uremia is wrong if the cold is a uremia. sent4: something is not a uremia if that it is a liftoff hold. sent5: the fact that the slate bifurcates and it is a kind of a uremia does not hold. sent6: the fact that the leveret bifurcates but it is not a collodion is not correct if the cold is a kind of a collodion. sent7: the bill does bifurcate. sent8: the cold is a liftoff. ; $proof$ = 
sent2 & sent8 -> int1: the cold is a collodion.; sent6 & int1 -> int2: the fact that the leveret bifurcates but it is not a collodion is wrong.; sent1 & int2 -> hypothesis; __PROVED__