the beautician is anorectal.
sent1: if the beautician is not a snapper it is anorectal. sent2: if the washtub articles Laplace but it is not acceptive then the fact that the beautician is not a kind of a snapper hold. sent3: that something does article Laplace and it is acceptive does not hold if it is not a kind of a snapper. sent4: that the washtub articles Laplace is incorrect. sent5: something is not tannic and it is not granulocytic. sent6: that the beautician is not a snapper is not wrong if the washtub does not article Laplace and is not acceptive. sent7: if the beautician does not article Laplace the fact that the fact that the washtub is a kind of non-keyless thing that is not phlegmy is correct is not right. sent8: the washtub is non-phlegmy if it is not keyless. sent9: if the loligo does not fix hanger then it is both not a permanganate and not a snapper. sent10: something does not article Laplace if it is keyless. sent11: the washtub is not anodic. sent12: that something is a kind of non-phlegmy thing that is keyless does not hold if the fact that it does not article Laplace is not wrong. sent13: the loligo does not fix hanger if the fact that something is both not tannic and not granulocytic hold. sent14: if something is not a permanganate and it is not a snapper the wolfsbane is acceptive. sent15: the washtub is phlegmy. sent16: the washtub does not article Laplace if it is keyless. sent17: the washtub does not article Laplace if it is not anorectal. sent18: something does not article Laplace and it is not acceptive if it is keyless.
void -> assump1: Let's assume that the washtub is not keyless.; sent8 & assump1 -> int1: that the washtub is not phlegmy is correct.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the washtub is keyless.; sent18 -> int4: the washtub does not article Laplace and it is not acceptive if it is keyless.; int3 & int4 -> int5: the washtub does not article Laplace and is not acceptive.; int5 & sent6 -> int6: the beautician is not a kind of a snapper.; int6 & sent1 -> hypothesis;
the hanger is not anorectal.
sent3 -> int7: the fact that the wolfsbane does article Laplace and is acceptive does not hold if it is not a snapper.;
$hypothesis$ = the beautician is anorectal. ; $context$ = sent1: if the beautician is not a snapper it is anorectal. sent2: if the washtub articles Laplace but it is not acceptive then the fact that the beautician is not a kind of a snapper hold. sent3: that something does article Laplace and it is acceptive does not hold if it is not a kind of a snapper. sent4: that the washtub articles Laplace is incorrect. sent5: something is not tannic and it is not granulocytic. sent6: that the beautician is not a snapper is not wrong if the washtub does not article Laplace and is not acceptive. sent7: if the beautician does not article Laplace the fact that the fact that the washtub is a kind of non-keyless thing that is not phlegmy is correct is not right. sent8: the washtub is non-phlegmy if it is not keyless. sent9: if the loligo does not fix hanger then it is both not a permanganate and not a snapper. sent10: something does not article Laplace if it is keyless. sent11: the washtub is not anodic. sent12: that something is a kind of non-phlegmy thing that is keyless does not hold if the fact that it does not article Laplace is not wrong. sent13: the loligo does not fix hanger if the fact that something is both not tannic and not granulocytic hold. sent14: if something is not a permanganate and it is not a snapper the wolfsbane is acceptive. sent15: the washtub is phlegmy. sent16: the washtub does not article Laplace if it is keyless. sent17: the washtub does not article Laplace if it is not anorectal. sent18: something does not article Laplace and it is not acceptive if it is keyless. ; $proof$ = 
void -> assump1: Let's assume that the washtub is not keyless.; sent8 & assump1 -> int1: that the washtub is not phlegmy is correct.; int1 & sent15 -> int2: this is contradiction.; [assump1] & int2 -> int3: the washtub is keyless.; sent18 -> int4: the washtub does not article Laplace and it is not acceptive if it is keyless.; int3 & int4 -> int5: the washtub does not article Laplace and is not acceptive.; int5 & sent6 -> int6: the beautician is not a kind of a snapper.; int6 & sent1 -> hypothesis; __PROVED__