the knackwurst is a devourer but it does not sheathe tepee.
sent1: the torchlight is a Ra and is not non-recombinant. sent2: if something is not a kind of a Ra the fact that it is a devourer and does not sheathe tepee is false. sent3: the knackwurst is a devourer if something does not transfer gull. sent4: if the torchlight is not recombinant the knackwurst is not a kind of a Ra. sent5: if that the Muskhogean awakes is not false then the fact that it does not transfer gull and is sugarless is incorrect. sent6: the knackwurst does not sheathe tepee if there is something such that it either is a Ra or is sugarless or both. sent7: if something is not a recombinant it is both a sweep and a Ra.
sent1 -> int1: the torchlight is a Ra.; int1 -> int2: the torchlight is a Ra and/or sugarless.; int2 -> int3: there exists something such that the fact that either it is a Ra or it is sugarless or both is correct.; int3 & sent6 -> int4: the knackwurst does not sheathe tepee.;
the fact that the knackwurst is a devourer but it does not sheathe tepee is not true.
sent2 -> int5: the fact that the knackwurst is a kind of a devourer and does not sheathe tepee does not hold if that it is not a Ra hold.;
$hypothesis$ = the knackwurst is a devourer but it does not sheathe tepee. ; $context$ = sent1: the torchlight is a Ra and is not non-recombinant. sent2: if something is not a kind of a Ra the fact that it is a devourer and does not sheathe tepee is false. sent3: the knackwurst is a devourer if something does not transfer gull. sent4: if the torchlight is not recombinant the knackwurst is not a kind of a Ra. sent5: if that the Muskhogean awakes is not false then the fact that it does not transfer gull and is sugarless is incorrect. sent6: the knackwurst does not sheathe tepee if there is something such that it either is a Ra or is sugarless or both. sent7: if something is not a recombinant it is both a sweep and a Ra. ; $proof$ = 
sent1 -> int1: the torchlight is a Ra.; int1 -> int2: the torchlight is a Ra and/or sugarless.; int2 -> int3: there exists something such that the fact that either it is a Ra or it is sugarless or both is correct.; int3 & sent6 -> int4: the knackwurst does not sheathe tepee.; __UNKNOWN__