the udder is not a spectinomycin.
sent1: that the comedienne plunders is right. sent2: the udder is not a kind of a spectinomycin if the comedienne is not tearful. sent3: that the vibraphone does not plunder is right. sent4: the fact that something is tearful but it is not a nuisance is false if that it is a toboggan is not false. sent5: the comedienne does plunder and it toboggans. sent6: that if something is not a kind of a toboggan it is a kind of a spectinomycin and it does plunder hold.
sent5 -> int1: the comedienne is a toboggan.; sent4 -> int2: that the fact that the comedienne is tearful but it is not a nuisance is true is not right if it does toboggan.; int1 & int2 -> int3: that the comedienne is tearful but it is not a nuisance is incorrect.;
the udder is a spectinomycin.
sent6 -> int4: if the udder does not toboggan then it is a spectinomycin that plunders.;
$hypothesis$ = the udder is not a spectinomycin. ; $context$ = sent1: that the comedienne plunders is right. sent2: the udder is not a kind of a spectinomycin if the comedienne is not tearful. sent3: that the vibraphone does not plunder is right. sent4: the fact that something is tearful but it is not a nuisance is false if that it is a toboggan is not false. sent5: the comedienne does plunder and it toboggans. sent6: that if something is not a kind of a toboggan it is a kind of a spectinomycin and it does plunder hold. ; $proof$ = 
sent5 -> int1: the comedienne is a toboggan.; sent4 -> int2: that the fact that the comedienne is tearful but it is not a nuisance is true is not right if it does toboggan.; int1 & int2 -> int3: that the comedienne is tearful but it is not a nuisance is incorrect.; __UNKNOWN__