the aspen does sport and is a bridal.
sent1: the aspen is a kind of sorrowful thing that is a kind of a snooker. sent2: something is a Ms. sent3: The nickel does not outstare neuroblast. sent4: if something that is a kind of a lot does not piddle Oken then it is a sport. sent5: if that something is sorrowful is not wrong it is a bridal. sent6: the cut is unrhetorical if something is a Ms. sent7: the aspen is not a lot. sent8: the aspen is a penuriousness if that it is calendric hold. sent9: the neuroblast does not outstare nickel. sent10: something that is a sport snookers. sent11: the aspen does not lot and it does not piddle Oken if that the neuroblast does not outstare nickel hold. sent12: the aspen is a snooker. sent13: something is a kind of a sport if it is not a lot and it does not piddle Oken. sent14: that the nickel does not outstare nickel and it is not sorrowful does not hold if the brucine does not snooker.
sent13 -> int1: the aspen is a sport if it is not a lot and it does not piddle Oken.; sent11 & sent9 -> int2: the aspen does not lot and does not piddle Oken.; int1 & int2 -> int3: the aspen is a sport.; sent5 -> int4: if the aspen is sorrowful then it is a bridal.; sent1 -> int5: the aspen is sorrowful.; int4 & int5 -> int6: the fact that the aspen is a kind of a bridal hold.; int3 & int6 -> hypothesis;
that the aspen is a sport and it is bridal is not correct.
sent2 & sent6 -> int7: the cut is unrhetorical.; int7 -> int8: there exists something such that it is unrhetorical.;
$hypothesis$ = the aspen does sport and is a bridal. ; $context$ = sent1: the aspen is a kind of sorrowful thing that is a kind of a snooker. sent2: something is a Ms. sent3: The nickel does not outstare neuroblast. sent4: if something that is a kind of a lot does not piddle Oken then it is a sport. sent5: if that something is sorrowful is not wrong it is a bridal. sent6: the cut is unrhetorical if something is a Ms. sent7: the aspen is not a lot. sent8: the aspen is a penuriousness if that it is calendric hold. sent9: the neuroblast does not outstare nickel. sent10: something that is a sport snookers. sent11: the aspen does not lot and it does not piddle Oken if that the neuroblast does not outstare nickel hold. sent12: the aspen is a snooker. sent13: something is a kind of a sport if it is not a lot and it does not piddle Oken. sent14: that the nickel does not outstare nickel and it is not sorrowful does not hold if the brucine does not snooker. ; $proof$ = 
sent13 -> int1: the aspen is a sport if it is not a lot and it does not piddle Oken.; sent11 & sent9 -> int2: the aspen does not lot and does not piddle Oken.; int1 & int2 -> int3: the aspen is a sport.; sent5 -> int4: if the aspen is sorrowful then it is a bridal.; sent1 -> int5: the aspen is sorrowful.; int4 & int5 -> int6: the fact that the aspen is a kind of a bridal hold.; int3 & int6 -> hypothesis; __PROVED__