something sweetens catty but it is not a proliferation.
sent1: the lobbyist sweetens catty. sent2: something does obliterate. sent3: the saffron is a sphenion and is trackless. sent4: something is not trackless if it does sweeten catty and it is a sphenion. sent5: the dyer does not sweeten catty if that the saffron is a sphenion is not incorrect. sent6: the saffron is trackless. sent7: if the dyer does not sweeten catty then the lobbyist sweeten catty. sent8: the lobbyist sweetens catty and is not a kind of a proliferation if the dyer does not sweetens catty. sent9: something does sweeten catty and it is a kind of a proliferation. sent10: that the saffron is a lividity that is not a proliferation does not hold. sent11: that the lobbyist sweetens catty hold if there exists something such that the fact that it is a lividity and not a proliferation is wrong.
sent3 -> int1: the saffron is a kind of a sphenion.; sent5 & int1 -> int2: the dyer does not sweeten catty.; sent8 & int2 -> int3: the lobbyist does sweeten catty and is not a proliferation.; int3 -> hypothesis;
the lobbyist is not trackless.
sent4 -> int4: the lobbyist is tracked if it sweetens catty and is a kind of a sphenion.; sent10 -> int5: there exists something such that that that it is a lividity and it is not a kind of a proliferation is true is false.; int5 & sent11 -> int6: that the lobbyist does sweeten catty is not false.;
$hypothesis$ = something sweetens catty but it is not a proliferation. ; $context$ = sent1: the lobbyist sweetens catty. sent2: something does obliterate. sent3: the saffron is a sphenion and is trackless. sent4: something is not trackless if it does sweeten catty and it is a sphenion. sent5: the dyer does not sweeten catty if that the saffron is a sphenion is not incorrect. sent6: the saffron is trackless. sent7: if the dyer does not sweeten catty then the lobbyist sweeten catty. sent8: the lobbyist sweetens catty and is not a kind of a proliferation if the dyer does not sweetens catty. sent9: something does sweeten catty and it is a kind of a proliferation. sent10: that the saffron is a lividity that is not a proliferation does not hold. sent11: that the lobbyist sweetens catty hold if there exists something such that the fact that it is a lividity and not a proliferation is wrong. ; $proof$ = 
sent3 -> int1: the saffron is a kind of a sphenion.; sent5 & int1 -> int2: the dyer does not sweeten catty.; sent8 & int2 -> int3: the lobbyist does sweeten catty and is not a proliferation.; int3 -> hypothesis; __PROVED__