the fact that the stocktaker is not a Craigie and not a harpsichord does not hold.
sent1: the fact that the bomblet is not cambial and it is not a kind of a Newburgh is not right. sent2: that something is not a Craigie and it is not a kind of a harpsichord is not right if it is not strategic.
sent1 -> int1: there is something such that the fact that it is not cambial and it is not a kind of a Newburgh is not correct.; sent2 -> int2: the fact that the stocktaker is not a Craigie and is not a harpsichord is wrong if it is not strategic.;
$hypothesis$ = the fact that the stocktaker is not a Craigie and not a harpsichord does not hold. ; $context$ = sent1: the fact that the bomblet is not cambial and it is not a kind of a Newburgh is not right. sent2: that something is not a Craigie and it is not a kind of a harpsichord is not right if it is not strategic. ; $proof$ = 
sent1 -> int1: there is something such that the fact that it is not cambial and it is not a kind of a Newburgh is not correct.; sent2 -> int2: the fact that the stocktaker is not a Craigie and is not a harpsichord is wrong if it is not strategic.; __UNKNOWN__