the spatula is glabellar.
sent1: if the fact that the ultraviolet is a kind of a elver and it embowers Steinberg is not true it does not embowers Steinberg. sent2: if the linalool is courteous and it does usher majority then the spatula does not cuddle. sent3: if the ultraviolet is a kind of non-cochlear thing that does not segregate dysentery the linalool does not embower syndicalism. sent4: the spatula does usher majority and it is glabellar if the linalool is not glabellar. sent5: the AB cuddles. sent6: if something is not a Stanton that it is a elver and embowers Steinberg is not true. sent7: if the linalool is glabellar and it is a kind of a clutter the ultraviolet is not a cuddle. sent8: the ultraviolet is a tickle. sent9: the ultraviolet does not usher majority. sent10: something is courteous and ushers majority if it does not embower syndicalism. sent11: the sashimi is not a clutter. sent12: the spatula is caloric and does not qualify. sent13: the fact that the spatula ushers majority is not wrong. sent14: if the linalool is not glabellar then the spatula ushers majority. sent15: the spatula is a clutter. sent16: the linalool is a cuddle. sent17: the palpebration does embower shear. sent18: the gleaner is prodromal thing that is not glabellar. sent19: if the ultraviolet does not embower Steinberg it is not cochlear and does not segregate dysentery. sent20: the linalool does clutter but it is not a tickle. sent21: something is not glabellar if it is not a clutter and is not a tickle.
sent20 -> int1: the linalool is a clutter.; void -> assump1: Let's assume that the linalool is glabellar.; int1 & assump1 -> int2: the linalool is glabellar a clutter.; int2 & sent7 -> int3: the ultraviolet is not a cuddle.;
the spatula is not glabellar.
sent21 -> int4: the spatula is not glabellar if it does not clutter and it does not tickle.; sent10 -> int5: if that the linalool does not embower syndicalism is not false then it is a kind of courteous thing that ushers majority.; sent6 -> int6: if the ultraviolet is not a kind of a Stanton the fact that it is a elver and it embowers Steinberg is not true.;
$hypothesis$ = the spatula is glabellar. ; $context$ = sent1: if the fact that the ultraviolet is a kind of a elver and it embowers Steinberg is not true it does not embowers Steinberg. sent2: if the linalool is courteous and it does usher majority then the spatula does not cuddle. sent3: if the ultraviolet is a kind of non-cochlear thing that does not segregate dysentery the linalool does not embower syndicalism. sent4: the spatula does usher majority and it is glabellar if the linalool is not glabellar. sent5: the AB cuddles. sent6: if something is not a Stanton that it is a elver and embowers Steinberg is not true. sent7: if the linalool is glabellar and it is a kind of a clutter the ultraviolet is not a cuddle. sent8: the ultraviolet is a tickle. sent9: the ultraviolet does not usher majority. sent10: something is courteous and ushers majority if it does not embower syndicalism. sent11: the sashimi is not a clutter. sent12: the spatula is caloric and does not qualify. sent13: the fact that the spatula ushers majority is not wrong. sent14: if the linalool is not glabellar then the spatula ushers majority. sent15: the spatula is a clutter. sent16: the linalool is a cuddle. sent17: the palpebration does embower shear. sent18: the gleaner is prodromal thing that is not glabellar. sent19: if the ultraviolet does not embower Steinberg it is not cochlear and does not segregate dysentery. sent20: the linalool does clutter but it is not a tickle. sent21: something is not glabellar if it is not a clutter and is not a tickle. ; $proof$ = 
sent20 -> int1: the linalool is a clutter.; void -> assump1: Let's assume that the linalool is glabellar.; int1 & assump1 -> int2: the linalool is glabellar a clutter.; int2 & sent7 -> int3: the ultraviolet is not a cuddle.; __UNKNOWN__