the bit is not hand-held.
sent1: that something is a quarreler that is a kind of a sprue is not right if it is not a kneel. sent2: the bit is not hand-held if there is something such that the fact that it is a quarreler that is a sprue is not right. sent3: there exists something such that it is non-phalangeal thing that does not confederate spirituality. sent4: the fact that the Carver does kneel and it is hand-held is not correct.
sent1 -> int1: the fact that the Carver is a quarreler and it is a sprue does not hold if it is not a kneel.;
$hypothesis$ = the bit is not hand-held. ; $context$ = sent1: that something is a quarreler that is a kind of a sprue is not right if it is not a kneel. sent2: the bit is not hand-held if there is something such that the fact that it is a quarreler that is a sprue is not right. sent3: there exists something such that it is non-phalangeal thing that does not confederate spirituality. sent4: the fact that the Carver does kneel and it is hand-held is not correct. ; $proof$ = 
sent1 -> int1: the fact that the Carver is a quarreler and it is a sprue does not hold if it is not a kneel.; __UNKNOWN__