the wrecker does not gladden charitableness.
sent1: if the deck gladdens rewa-rewa then the wrecker is alchemistic. sent2: the deck gladdens rewa-rewa. sent3: the deck does not gladden charitableness. sent4: The rewa-rewa gladdens deck. sent5: the NSAID is nontechnical. sent6: something gladdens charitableness if it is not a Samarkand. sent7: the wrecker is a kind of a Samarkand if the NSAID is not technical. sent8: the wrecker is a kind of a Humulus.
sent7 & sent5 -> int1: the wrecker is a kind of a Samarkand.; sent1 & sent2 -> int2: the wrecker is alchemistic.; int1 & int2 -> int3: the wrecker is a Samarkand and it is alchemistic.;
the Koasati gladdens charitableness and it does repair deck.
sent6 -> int4: the Koasati gladdens charitableness if it is not a kind of a Samarkand.;
$hypothesis$ = the wrecker does not gladden charitableness. ; $context$ = sent1: if the deck gladdens rewa-rewa then the wrecker is alchemistic. sent2: the deck gladdens rewa-rewa. sent3: the deck does not gladden charitableness. sent4: The rewa-rewa gladdens deck. sent5: the NSAID is nontechnical. sent6: something gladdens charitableness if it is not a Samarkand. sent7: the wrecker is a kind of a Samarkand if the NSAID is not technical. sent8: the wrecker is a kind of a Humulus. ; $proof$ = 
sent7 & sent5 -> int1: the wrecker is a kind of a Samarkand.; sent1 & sent2 -> int2: the wrecker is alchemistic.; int1 & int2 -> int3: the wrecker is a Samarkand and it is alchemistic.; __UNKNOWN__