the slack is a Spengler.
sent1: the slack is a Spengler if the grigri does pun. sent2: if that the witchgrass does pigment swathe is not false it is not a disassociation. sent3: if the bonnet does mingle then the grigri is a kind of a pun. sent4: if that the vicegerent is a guitar but it is not shallow-draft does not hold the witchgrass is a Gagarin. sent5: if there is something such that the fact that it is a kind of a disassociation that pigments swathe does not hold the vicegerent does not pigments swathe. sent6: the vicegerent does surface. sent7: the bonnet does mingle if there is something such that it is not a disassociation and does not harden. sent8: something that is shallow-draft or does surface or both is not a kind of a guitar. sent9: that the grigri is a kind of a disassociation and pigments swathe is false. sent10: if the vicegerent is not a kind of a guitar then the witchgrass does pigment swathe and it is a guitar. sent11: that the vicegerent is not shallow-draft but it is surface is not true if there is something such that it is a guitar. sent12: there is something such that it does not harden. sent13: the grigri is shallow-draft.
sent6 -> int1: the vicegerent is shallow-draft and/or it surfaces.; sent8 -> int2: if the vicegerent is shallow-draft and/or it is surface the fact that it is not a guitar is correct.; int1 & int2 -> int3: the vicegerent is not a guitar.; int3 & sent10 -> int4: the witchgrass does pigment swathe and is a guitar.; int4 -> int5: the witchgrass does pigment swathe.;
the slack is not a kind of a Spengler.
$hypothesis$ = the slack is a Spengler. ; $context$ = sent1: the slack is a Spengler if the grigri does pun. sent2: if that the witchgrass does pigment swathe is not false it is not a disassociation. sent3: if the bonnet does mingle then the grigri is a kind of a pun. sent4: if that the vicegerent is a guitar but it is not shallow-draft does not hold the witchgrass is a Gagarin. sent5: if there is something such that the fact that it is a kind of a disassociation that pigments swathe does not hold the vicegerent does not pigments swathe. sent6: the vicegerent does surface. sent7: the bonnet does mingle if there is something such that it is not a disassociation and does not harden. sent8: something that is shallow-draft or does surface or both is not a kind of a guitar. sent9: that the grigri is a kind of a disassociation and pigments swathe is false. sent10: if the vicegerent is not a kind of a guitar then the witchgrass does pigment swathe and it is a guitar. sent11: that the vicegerent is not shallow-draft but it is surface is not true if there is something such that it is a guitar. sent12: there is something such that it does not harden. sent13: the grigri is shallow-draft. ; $proof$ = 
sent6 -> int1: the vicegerent is shallow-draft and/or it surfaces.; sent8 -> int2: if the vicegerent is shallow-draft and/or it is surface the fact that it is not a guitar is correct.; int1 & int2 -> int3: the vicegerent is not a guitar.; int3 & sent10 -> int4: the witchgrass does pigment swathe and is a guitar.; int4 -> int5: the witchgrass does pigment swathe.; __UNKNOWN__