if the redeposition is not a Rallidae that the whalebone does not punctuate and does not embower whalebone is not true.
sent1: if the redeposition does not exhilarate oblivion but it is a Rallidae it does not punctuate. sent2: that the ram does not exhilarate smothering and does not usher oblivion is false. sent3: if the ram does not embower whalebone and exhilarates smothering then it does not usher oblivion. sent4: if the redeposition does not punctuate that the whalebone does not punctuate and it does not embower whalebone is not right. sent5: the fact that the redeposition does not exhilarate oblivion hold if the fact that the ram does not exhilarate smothering and does not usher oblivion is wrong. sent6: if the redeposition does not exhilarate oblivion and it is not a kind of a Rallidae then it does not punctuate. sent7: that the whalebone punctuates and does not embower whalebone is incorrect if the redeposition is not a Rallidae. sent8: the fact that the ram does not usher oblivion and it is not literary is not true. sent9: that the redeposition does not usher oblivion and does not punctuate is wrong if the whalebone is a Rallidae.
sent5 & sent2 -> int1: the redeposition does not exhilarate oblivion.; void -> assump1: Let's assume that the redeposition is not a Rallidae.; int1 & assump1 -> int2: the redeposition does not exhilarate oblivion and is not a kind of a Rallidae.; int2 & sent6 -> int3: that the redeposition does not punctuate is correct.; int3 & sent4 -> int4: the fact that the whalebone does not punctuate and does not embower whalebone does not hold.; [assump1] & int4 -> hypothesis;
$hypothesis$ = if the redeposition is not a Rallidae that the whalebone does not punctuate and does not embower whalebone is not true. ; $context$ = sent1: if the redeposition does not exhilarate oblivion but it is a Rallidae it does not punctuate. sent2: that the ram does not exhilarate smothering and does not usher oblivion is false. sent3: if the ram does not embower whalebone and exhilarates smothering then it does not usher oblivion. sent4: if the redeposition does not punctuate that the whalebone does not punctuate and it does not embower whalebone is not right. sent5: the fact that the redeposition does not exhilarate oblivion hold if the fact that the ram does not exhilarate smothering and does not usher oblivion is wrong. sent6: if the redeposition does not exhilarate oblivion and it is not a kind of a Rallidae then it does not punctuate. sent7: that the whalebone punctuates and does not embower whalebone is incorrect if the redeposition is not a Rallidae. sent8: the fact that the ram does not usher oblivion and it is not literary is not true. sent9: that the redeposition does not usher oblivion and does not punctuate is wrong if the whalebone is a Rallidae. ; $proof$ = 
sent5 & sent2 -> int1: the redeposition does not exhilarate oblivion.; void -> assump1: Let's assume that the redeposition is not a Rallidae.; int1 & assump1 -> int2: the redeposition does not exhilarate oblivion and is not a kind of a Rallidae.; int2 & sent6 -> int3: that the redeposition does not punctuate is correct.; int3 & sent4 -> int4: the fact that the whalebone does not punctuate and does not embower whalebone does not hold.; [assump1] & int4 -> hypothesis; __PROVED__