the bowsprit is a kind of a duckpin.
sent1: the bowsprit does not tone. sent2: if the bowsprit is eolithic it is a duckpin. sent3: the mastoid is a foundering. sent4: if the mastoid founders then the expression is not a nudist and it does not uncork casuistry. sent5: the acidophilus fistfights but it is not prosthodontics if it is not cyclopean. sent6: the expression is not a kind of a duckpin if something is a kind of a fistfight that is not prosthodontics. sent7: the mastoid is not a kind of a foundering if something that is not non-eolithic does not interpret. sent8: if the fact that the expression does not uncork casuistry is correct the acidophilus does not uncork casuistry and does interpret. sent9: the expression is not a nudist. sent10: the bowsprit does not uncork casuistry. sent11: the fact that if that the bowsprit dilapidates acidophilus and is cyclopean is not right then the acidophilus is not cyclopean is true. sent12: the fact that the bowsprit dilapidates acidophilus and it is cyclopean is not correct. sent13: the fact that the fact that the bowsprit is not eolithic and it does not founder is not incorrect is not true if that the mastoid interprets is true. sent14: the bowsprit is eolithic if the acidophilus does not uncork casuistry but it does interpret. sent15: if something does founder then it is not a duckpin.
sent4 & sent3 -> int1: the expression is not a nudist and it does not uncork casuistry.; int1 -> int2: the expression does not uncork casuistry.; int2 & sent8 -> int3: the fact that the acidophilus does not uncork casuistry and does interpret is true.; int3 & sent14 -> int4: the bowsprit is eolithic.; int4 & sent2 -> hypothesis;
that the bowsprit is not a duckpin is right.
sent15 -> int5: if the bowsprit is a foundering it is not a duckpin.;
$hypothesis$ = the bowsprit is a kind of a duckpin. ; $context$ = sent1: the bowsprit does not tone. sent2: if the bowsprit is eolithic it is a duckpin. sent3: the mastoid is a foundering. sent4: if the mastoid founders then the expression is not a nudist and it does not uncork casuistry. sent5: the acidophilus fistfights but it is not prosthodontics if it is not cyclopean. sent6: the expression is not a kind of a duckpin if something is a kind of a fistfight that is not prosthodontics. sent7: the mastoid is not a kind of a foundering if something that is not non-eolithic does not interpret. sent8: if the fact that the expression does not uncork casuistry is correct the acidophilus does not uncork casuistry and does interpret. sent9: the expression is not a nudist. sent10: the bowsprit does not uncork casuistry. sent11: the fact that if that the bowsprit dilapidates acidophilus and is cyclopean is not right then the acidophilus is not cyclopean is true. sent12: the fact that the bowsprit dilapidates acidophilus and it is cyclopean is not correct. sent13: the fact that the fact that the bowsprit is not eolithic and it does not founder is not incorrect is not true if that the mastoid interprets is true. sent14: the bowsprit is eolithic if the acidophilus does not uncork casuistry but it does interpret. sent15: if something does founder then it is not a duckpin. ; $proof$ = 
sent4 & sent3 -> int1: the expression is not a nudist and it does not uncork casuistry.; int1 -> int2: the expression does not uncork casuistry.; int2 & sent8 -> int3: the fact that the acidophilus does not uncork casuistry and does interpret is true.; int3 & sent14 -> int4: the bowsprit is eolithic.; int4 & sent2 -> hypothesis; __PROVED__