the cards is not amethystine.
sent1: something is both not non-salient and not non-actuarial if it does not default hayloft. sent2: if there exists something such that the fact that it does not powder tailrace and it does cogitate does not hold then the cookie does not default hayloft. sent3: the fact that something does not powder tailrace but it does cogitate is not true if it is not a kind of an irritation. sent4: if the fact that the horoscope is not a mending but it is a kind of a receivership is not true the cards is not amethystine. sent5: there is nothing that is not a mending but a receivership.
sent5 -> int1: the fact that the horoscope is not a mending but it is a receivership is false.; sent4 & int1 -> hypothesis;
the cards is amethystine.
sent1 -> int2: the cookie is a kind of salient thing that is actuarial if it does not default hayloft.; sent3 -> int3: the fact that the fact that that the specifier does not powder tailrace and cogitates is true does not hold is not false if it is not an irritation.;
$hypothesis$ = the cards is not amethystine. ; $context$ = sent1: something is both not non-salient and not non-actuarial if it does not default hayloft. sent2: if there exists something such that the fact that it does not powder tailrace and it does cogitate does not hold then the cookie does not default hayloft. sent3: the fact that something does not powder tailrace but it does cogitate is not true if it is not a kind of an irritation. sent4: if the fact that the horoscope is not a mending but it is a kind of a receivership is not true the cards is not amethystine. sent5: there is nothing that is not a mending but a receivership. ; $proof$ = 
sent5 -> int1: the fact that the horoscope is not a mending but it is a receivership is false.; sent4 & int1 -> hypothesis; __PROVED__