the roentgenium is not a Cornish.
sent1: if something excludes hearthrug it is a kind of a Cornish. sent2: if something is a niobium then it is a kind of a circuitry. sent3: that either the locus is not a kind of a niobium or it excludes hearthrug or both does not hold if the stock-in-trade is not a kind of a Scandinavian. sent4: if something is not a kind of a circuitry it is not a Scandinavian. sent5: the roentgenium is a Anne if something does price Delbruck. sent6: the roentgenium is a kind of a Anne if there is something such that the fact that it does not price Delbruck and is not a kind of a Anne is not correct. sent7: the stock-in-trade is not a circuitry. sent8: the roentgenium is not Cornish if it is a Anne and it is anticoagulative. sent9: the roentgenium is anticoagulative if there exists something such that that either it is not a niobium or it excludes hearthrug or both does not hold.
sent4 -> int1: if the stock-in-trade is not a kind of a circuitry then it is not a Scandinavian.; int1 & sent7 -> int2: the stock-in-trade is not a Scandinavian.; int2 & sent3 -> int3: that the locus is not a niobium and/or does exclude hearthrug is wrong.; int3 -> int4: there is something such that that either it is not a niobium or it does exclude hearthrug or both is false.; int4 & sent9 -> int5: the roentgenium is anticoagulative.;
the roentgenium is Cornish.
sent1 -> int6: if the roentgenium excludes hearthrug then it is a Cornish.; sent2 -> int7: the zone is a circuitry if it is a kind of a niobium.;
$hypothesis$ = the roentgenium is not a Cornish. ; $context$ = sent1: if something excludes hearthrug it is a kind of a Cornish. sent2: if something is a niobium then it is a kind of a circuitry. sent3: that either the locus is not a kind of a niobium or it excludes hearthrug or both does not hold if the stock-in-trade is not a kind of a Scandinavian. sent4: if something is not a kind of a circuitry it is not a Scandinavian. sent5: the roentgenium is a Anne if something does price Delbruck. sent6: the roentgenium is a kind of a Anne if there is something such that the fact that it does not price Delbruck and is not a kind of a Anne is not correct. sent7: the stock-in-trade is not a circuitry. sent8: the roentgenium is not Cornish if it is a Anne and it is anticoagulative. sent9: the roentgenium is anticoagulative if there exists something such that that either it is not a niobium or it excludes hearthrug or both does not hold. ; $proof$ = 
sent4 -> int1: if the stock-in-trade is not a kind of a circuitry then it is not a Scandinavian.; int1 & sent7 -> int2: the stock-in-trade is not a Scandinavian.; int2 & sent3 -> int3: that the locus is not a niobium and/or does exclude hearthrug is wrong.; int3 -> int4: there is something such that that either it is not a niobium or it does exclude hearthrug or both is false.; int4 & sent9 -> int5: the roentgenium is anticoagulative.; __UNKNOWN__