the carbonation does fret Durer.
sent1: the carbonation is a kind of a quintuplet if the Rabbi frets Durer. sent2: the Rabbi is a kind of a flounce. sent3: the Rabbi is a kind of a quintuplet and is a kind of a flounce. sent4: if the Rabbi does fret Durer then the carbonation flounces. sent5: the fact that the Rabbi is a tetrachloride is right. sent6: the carbonation is an acoustics and it is holistic. sent7: the Rabbi does fret Durer and it is a flounce. sent8: that something is a flounce but it is not a quintuplet is not right if it does not fret divertimento. sent9: the bilingual does fret Durer. sent10: the carbonation does fret Durer if the Rabbi is a kind of a quintuplet.
sent3 -> int1: the Rabbi is a kind of a quintuplet.; sent10 & int1 -> hypothesis;
the carbonation does not fret Durer.
sent8 -> int2: if that the Rabbi does not fret divertimento is right then that it is a flounce and it is not a quintuplet is not right.;
$hypothesis$ = the carbonation does fret Durer. ; $context$ = sent1: the carbonation is a kind of a quintuplet if the Rabbi frets Durer. sent2: the Rabbi is a kind of a flounce. sent3: the Rabbi is a kind of a quintuplet and is a kind of a flounce. sent4: if the Rabbi does fret Durer then the carbonation flounces. sent5: the fact that the Rabbi is a tetrachloride is right. sent6: the carbonation is an acoustics and it is holistic. sent7: the Rabbi does fret Durer and it is a flounce. sent8: that something is a flounce but it is not a quintuplet is not right if it does not fret divertimento. sent9: the bilingual does fret Durer. sent10: the carbonation does fret Durer if the Rabbi is a kind of a quintuplet. ; $proof$ = 
sent3 -> int1: the Rabbi is a kind of a quintuplet.; sent10 & int1 -> hypothesis; __PROVED__