the vignette is not a snooker.
sent1: the danewort does chock Muskhogean. sent2: the vignette is not a snooker if the stairwell does chock stairwell. sent3: The Muskhogean does chock danewort. sent4: if something fasts or it is a rya or both then the stairwell chocks stairwell. sent5: if something is a kind of a spasticity then it is a fast. sent6: that the danewort does chock stairwell is true. sent7: there is something such that it does brief pied-a-terre and/or it is asyndetic. sent8: the fact that the danewort is a spasticity is true if it does chock Muskhogean. sent9: there is something such that it does chock stairwell or does fast or both. sent10: if there is something such that it is a rya then the stairwell does chock stairwell.
sent8 & sent1 -> int1: the danewort is a kind of a spasticity.; sent5 -> int2: the danewort is a fast if it is a kind of a spasticity.; int1 & int2 -> int3: the fact that the danewort fasts is true.; int3 -> int4: either the danewort fasts or it is a kind of a rya or both.; int4 -> int5: there is something such that it does fast and/or it is a rya.; int5 & sent4 -> int6: the stairwell chocks stairwell.; int6 & sent2 -> hypothesis;
$hypothesis$ = the vignette is not a snooker. ; $context$ = sent1: the danewort does chock Muskhogean. sent2: the vignette is not a snooker if the stairwell does chock stairwell. sent3: The Muskhogean does chock danewort. sent4: if something fasts or it is a rya or both then the stairwell chocks stairwell. sent5: if something is a kind of a spasticity then it is a fast. sent6: that the danewort does chock stairwell is true. sent7: there is something such that it does brief pied-a-terre and/or it is asyndetic. sent8: the fact that the danewort is a spasticity is true if it does chock Muskhogean. sent9: there is something such that it does chock stairwell or does fast or both. sent10: if there is something such that it is a rya then the stairwell does chock stairwell. ; $proof$ = 
sent8 & sent1 -> int1: the danewort is a kind of a spasticity.; sent5 -> int2: the danewort is a fast if it is a kind of a spasticity.; int1 & int2 -> int3: the fact that the danewort fasts is true.; int3 -> int4: either the danewort fasts or it is a kind of a rya or both.; int4 -> int5: there is something such that it does fast and/or it is a rya.; int5 & sent4 -> int6: the stairwell chocks stairwell.; int6 & sent2 -> hypothesis; __PROVED__