the tambourine is not substantial.
sent1: if that the esmolol is bibliothecal and it is a decay is false then the tambourine is not substantial. sent2: that the tambourine does decay and it is substantial does not hold. sent3: the fact that the Vandyke is not bibliothecal is not wrong. sent4: the Vandyke is not a decay if it is not a Lenin and/or is celestial. sent5: if that the esmolol is a Lenin and a decay is not right then the Vandyke is not bibliothecal. sent6: the tambourine either is a decay or is substantial or both. sent7: the Vandyke is not celestial if the fact that the esmolol does decay and it is a Lenin is not true. sent8: the fact that the esmolol is a kind of a Lenin and it is a kind of a decay is incorrect if the fact that the Vandyke is a decay is wrong. sent9: the tambourine is not a Lenin. sent10: if the fact that the esmolol is a Lenin that is bibliothecal does not hold then the Vandyke is not a decay. sent11: the fact that the prowler does not unfasten sforzando is not false if it is not a kind of a Lenin and/or it is a meagerness. sent12: if that the Vandyke does not decay is not incorrect then the fact that the esmolol is bibliothecal and it is a decay is wrong. sent13: either the tambourine is substantial or it is a decay or both. sent14: if that the esmolol is a Lenin and it is substantial is not true the Vandyke is not a decay. sent15: everything is not a Lenin or celestial or both. sent16: that the tambourine is both a Lenin and substantial is wrong.
sent15 -> int1: the Vandyke is not a Lenin or celestial or both.; int1 & sent4 -> int2: the Vandyke is not a kind of a decay.; int2 & sent12 -> int3: that the esmolol is bibliothecal and does decay is not right.; int3 & sent1 -> hypothesis;
$hypothesis$ = the tambourine is not substantial. ; $context$ = sent1: if that the esmolol is bibliothecal and it is a decay is false then the tambourine is not substantial. sent2: that the tambourine does decay and it is substantial does not hold. sent3: the fact that the Vandyke is not bibliothecal is not wrong. sent4: the Vandyke is not a decay if it is not a Lenin and/or is celestial. sent5: if that the esmolol is a Lenin and a decay is not right then the Vandyke is not bibliothecal. sent6: the tambourine either is a decay or is substantial or both. sent7: the Vandyke is not celestial if the fact that the esmolol does decay and it is a Lenin is not true. sent8: the fact that the esmolol is a kind of a Lenin and it is a kind of a decay is incorrect if the fact that the Vandyke is a decay is wrong. sent9: the tambourine is not a Lenin. sent10: if the fact that the esmolol is a Lenin that is bibliothecal does not hold then the Vandyke is not a decay. sent11: the fact that the prowler does not unfasten sforzando is not false if it is not a kind of a Lenin and/or it is a meagerness. sent12: if that the Vandyke does not decay is not incorrect then the fact that the esmolol is bibliothecal and it is a decay is wrong. sent13: either the tambourine is substantial or it is a decay or both. sent14: if that the esmolol is a Lenin and it is substantial is not true the Vandyke is not a decay. sent15: everything is not a Lenin or celestial or both. sent16: that the tambourine is both a Lenin and substantial is wrong. ; $proof$ = 
sent15 -> int1: the Vandyke is not a Lenin or celestial or both.; int1 & sent4 -> int2: the Vandyke is not a kind of a decay.; int2 & sent12 -> int3: that the esmolol is bibliothecal and does decay is not right.; int3 & sent1 -> hypothesis; __PROVED__