the angle ebbs and it scours dirndl.
sent1: The dirndl does scour angle. sent2: if there exists something such that the fact that it slaves pigment and/or it is not a rawness is wrong then the angle ebbs. sent3: the fact that the shading does slave pigment and/or it is not a kind of a rawness is not correct if it plans. sent4: that the shading does not plan is not right. sent5: the angle does scour dirndl.
sent3 & sent4 -> int1: the fact that either the shading slaves pigment or it is not a rawness or both is not correct.; int1 -> int2: there exists something such that the fact that either it does slave pigment or it is not a rawness or both is incorrect.; int2 & sent2 -> int3: the angle is a kind of an ebb.; int3 & sent5 -> hypothesis;
$hypothesis$ = the angle ebbs and it scours dirndl. ; $context$ = sent1: The dirndl does scour angle. sent2: if there exists something such that the fact that it slaves pigment and/or it is not a rawness is wrong then the angle ebbs. sent3: the fact that the shading does slave pigment and/or it is not a kind of a rawness is not correct if it plans. sent4: that the shading does not plan is not right. sent5: the angle does scour dirndl. ; $proof$ = 
sent3 & sent4 -> int1: the fact that either the shading slaves pigment or it is not a rawness or both is not correct.; int1 -> int2: there exists something such that the fact that either it does slave pigment or it is not a rawness or both is incorrect.; int2 & sent2 -> int3: the angle is a kind of an ebb.; int3 & sent5 -> hypothesis; __PROVED__