the patroness is a cluttered.
sent1: that that the sheepman is not a dab and is a Day is not right is not wrong. sent2: the fact that if the fact that the stave is not an assist and is a Chandler is not correct that the patroness is ovular hold is not wrong. sent3: something is a cluttered but not perceptual if it is ovular. sent4: the loofah is not a kind of a Phaseolus if the fact that the sheepman is not a dab but it is a Day is not right. sent5: the fact that that the stave does not assist and is a Chandler is not correct is correct if the loofah is not a Phaseolus. sent6: if the fact that something is not a Phaseolus is correct then the fact that it assists and is a cluttered is wrong.
sent4 & sent1 -> int1: the loofah is not a Phaseolus.; int1 & sent5 -> int2: the fact that the stave is not a kind of an assist and is a kind of a Chandler does not hold.; int2 & sent2 -> int3: the patroness is ovular.; sent3 -> int4: if the patroness is ovular it does clutter and it is not perceptual.; int3 & int4 -> int5: the patroness is a cluttered but not perceptual.; int5 -> hypothesis;
the patroness is not a kind of a cluttered.
sent6 -> int6: that the sheepman does assist and it is a cluttered is incorrect if it is not a kind of a Phaseolus.;
$hypothesis$ = the patroness is a cluttered. ; $context$ = sent1: that that the sheepman is not a dab and is a Day is not right is not wrong. sent2: the fact that if the fact that the stave is not an assist and is a Chandler is not correct that the patroness is ovular hold is not wrong. sent3: something is a cluttered but not perceptual if it is ovular. sent4: the loofah is not a kind of a Phaseolus if the fact that the sheepman is not a dab but it is a Day is not right. sent5: the fact that that the stave does not assist and is a Chandler is not correct is correct if the loofah is not a Phaseolus. sent6: if the fact that something is not a Phaseolus is correct then the fact that it assists and is a cluttered is wrong. ; $proof$ = 
sent4 & sent1 -> int1: the loofah is not a Phaseolus.; int1 & sent5 -> int2: the fact that the stave is not a kind of an assist and is a kind of a Chandler does not hold.; int2 & sent2 -> int3: the patroness is ovular.; sent3 -> int4: if the patroness is ovular it does clutter and it is not perceptual.; int3 & int4 -> int5: the patroness is a cluttered but not perceptual.; int5 -> hypothesis; __PROVED__