the whey is not a kind of a spank.
sent1: the fact that the whey is a kind of celestial thing that does not obey does not hold. sent2: the nortriptyline is not a kind of a Melkite and it is not a timbale. sent3: something is not a kind of a spank if it is not a kind of a unbecomingness. sent4: the fact that the whey does not defibrillate industry and it is not a kind of a unbecomingness does not hold. sent5: the whey is a timbale if that it is not a timbale and is not Viennese does not hold. sent6: that the whey is not a timbale and not Viennese is wrong. sent7: the surbase is not celestial.
void -> assump1: Let's assume that the whey is a unbecomingness.; sent5 & sent6 -> int1: the whey is a timbale.; sent3 -> int2: if that the whey is not a unbecomingness hold then it is not a spank.;
$hypothesis$ = the whey is not a kind of a spank. ; $context$ = sent1: the fact that the whey is a kind of celestial thing that does not obey does not hold. sent2: the nortriptyline is not a kind of a Melkite and it is not a timbale. sent3: something is not a kind of a spank if it is not a kind of a unbecomingness. sent4: the fact that the whey does not defibrillate industry and it is not a kind of a unbecomingness does not hold. sent5: the whey is a timbale if that it is not a timbale and is not Viennese does not hold. sent6: that the whey is not a timbale and not Viennese is wrong. sent7: the surbase is not celestial. ; $proof$ = 
void -> assump1: Let's assume that the whey is a unbecomingness.; sent5 & sent6 -> int1: the whey is a timbale.; sent3 -> int2: if that the whey is not a unbecomingness hold then it is not a spank.; __UNKNOWN__