the glutton does not tarnish Knox.
sent1: the Venezuelan is a hooknose. sent2: the Teton is not a kind of a junk if the fact that it is inextinguishable and it is a kind of a junk does not hold. sent3: if there is something such that it is a kind of a junk and does not whish the glutton does tarnish Knox. sent4: something is not inextinguishable if that it is a rarefaction and it is a kind of a hooknose is correct. sent5: the glutton does not tarnish Knox if that the Teton is a sharp and it is a kind of an amendment is not true. sent6: the fact that something is a sharp and is an amendment does not hold if it is not a junk. sent7: the fact that the Teton is inextinguishable and a junk does not hold. sent8: if the Teton is not an amendment then the glutton does not tarnish Knox. sent9: everything is a rarefaction and it tarnishes captain.
sent6 -> int1: the fact that the Teton is sharp and it is a kind of an amendment is wrong if it is not a junk.; sent2 & sent7 -> int2: the Teton is not a junk.; int1 & int2 -> int3: that the Teton is sharp thing that is an amendment is not right.; int3 & sent5 -> hypothesis;
the glutton tarnishes Knox.
sent4 -> int4: the Venezuelan is not inextinguishable if it is a kind of a rarefaction and is a hooknose.; sent9 -> int5: the spiral is a rarefaction and it does tarnish captain.; int5 -> int6: the spiral is a rarefaction.; int6 -> int7: everything is a rarefaction.; int7 -> int8: the fact that the Venezuelan is a rarefaction hold.; sent1 & int8 -> int9: the Venezuelan is a kind of a rarefaction and is a hooknose.; int4 & int9 -> int10: the Venezuelan is not inextinguishable.;
$hypothesis$ = the glutton does not tarnish Knox. ; $context$ = sent1: the Venezuelan is a hooknose. sent2: the Teton is not a kind of a junk if the fact that it is inextinguishable and it is a kind of a junk does not hold. sent3: if there is something such that it is a kind of a junk and does not whish the glutton does tarnish Knox. sent4: something is not inextinguishable if that it is a rarefaction and it is a kind of a hooknose is correct. sent5: the glutton does not tarnish Knox if that the Teton is a sharp and it is a kind of an amendment is not true. sent6: the fact that something is a sharp and is an amendment does not hold if it is not a junk. sent7: the fact that the Teton is inextinguishable and a junk does not hold. sent8: if the Teton is not an amendment then the glutton does not tarnish Knox. sent9: everything is a rarefaction and it tarnishes captain. ; $proof$ = 
sent6 -> int1: the fact that the Teton is sharp and it is a kind of an amendment is wrong if it is not a junk.; sent2 & sent7 -> int2: the Teton is not a junk.; int1 & int2 -> int3: that the Teton is sharp thing that is an amendment is not right.; int3 & sent5 -> hypothesis; __PROVED__