the salal is both not allylic and not a Rachmaninoff.
sent1: if the workspace is not a kind of a spicule then the salal is not allylic and it is not a kind of a Rachmaninoff. sent2: the Glengarry is allylic. sent3: something is not a spicule if the fact that it is glabellar and it is a yellowfin is not false. sent4: if something is not non-tearful then that it is a yellowfin hold. sent5: if something is intergalactic then the fact that it samples Neoplatonist is correct. sent6: the Glengarry is not bituminoid and it does not excrete tensimeter if the workspace is not a gymnosophy. sent7: the salal is a spicule. sent8: if the workspace is not a spicule the salal is not a Rachmaninoff. sent9: the Glengarry is bituminoid or a skirt or both. sent10: the tensimeter is a kind of glabellar thing that excretes acervulus. sent11: the salal is not a Rachmaninoff. sent12: if the Glengarry is not a yellowfin the workspace is both not tearful and not a skirt. sent13: the Glengarry is a kind of a yellowfin if it is not glabellar. sent14: if that something is a skirt and it is tearful hold then it is not bituminoid. sent15: if something is not bituminoid the fact that it is non-allylic thing that is not a Rachmaninoff does not hold. sent16: The tensimeter does excrete workspace. sent17: if something excretes tortuosity it is not non-sounding. sent18: the Glengarry is tearful if the workspace is bituminoid. sent19: if the workspace does excrete tensimeter then the fact that it is a gymnosophy is true. sent20: that something skirts and it is bituminoid is wrong if it is not tearful. sent21: the Orpington is a kind of a gymnosophy. sent22: that the Glengarry is not glabellar is not wrong. sent23: the salal is glabellar. sent24: the workspace is tearful if the Glengarry is bituminoid. sent25: the workspace is tearful if the Glengarry is a kind of a skirt. sent26: the workspace does excrete tensimeter. sent27: the Glengarry is a kind of a Rachmaninoff if the salal does skirt. sent28: the salal is bituminoid if it is allylic.
sent9 & sent24 & sent25 -> int1: the workspace is tearful.; sent4 -> int2: the workspace is a yellowfin if it is tearful.; int1 & int2 -> int3: the workspace is a yellowfin.; sent19 & sent26 -> int4: the workspace is a gymnosophy.; sent3 -> int5: the workspace is not a kind of a spicule if it is glabellar and it is a yellowfin.;
the fact that the salal is both not allylic and not a Rachmaninoff does not hold.
sent14 -> int6: the salal is not bituminoid if it is a kind of a skirt and is tearful.;
$hypothesis$ = the salal is both not allylic and not a Rachmaninoff. ; $context$ = sent1: if the workspace is not a kind of a spicule then the salal is not allylic and it is not a kind of a Rachmaninoff. sent2: the Glengarry is allylic. sent3: something is not a spicule if the fact that it is glabellar and it is a yellowfin is not false. sent4: if something is not non-tearful then that it is a yellowfin hold. sent5: if something is intergalactic then the fact that it samples Neoplatonist is correct. sent6: the Glengarry is not bituminoid and it does not excrete tensimeter if the workspace is not a gymnosophy. sent7: the salal is a spicule. sent8: if the workspace is not a spicule the salal is not a Rachmaninoff. sent9: the Glengarry is bituminoid or a skirt or both. sent10: the tensimeter is a kind of glabellar thing that excretes acervulus. sent11: the salal is not a Rachmaninoff. sent12: if the Glengarry is not a yellowfin the workspace is both not tearful and not a skirt. sent13: the Glengarry is a kind of a yellowfin if it is not glabellar. sent14: if that something is a skirt and it is tearful hold then it is not bituminoid. sent15: if something is not bituminoid the fact that it is non-allylic thing that is not a Rachmaninoff does not hold. sent16: The tensimeter does excrete workspace. sent17: if something excretes tortuosity it is not non-sounding. sent18: the Glengarry is tearful if the workspace is bituminoid. sent19: if the workspace does excrete tensimeter then the fact that it is a gymnosophy is true. sent20: that something skirts and it is bituminoid is wrong if it is not tearful. sent21: the Orpington is a kind of a gymnosophy. sent22: that the Glengarry is not glabellar is not wrong. sent23: the salal is glabellar. sent24: the workspace is tearful if the Glengarry is bituminoid. sent25: the workspace is tearful if the Glengarry is a kind of a skirt. sent26: the workspace does excrete tensimeter. sent27: the Glengarry is a kind of a Rachmaninoff if the salal does skirt. sent28: the salal is bituminoid if it is allylic. ; $proof$ = 
sent9 & sent24 & sent25 -> int1: the workspace is tearful.; sent4 -> int2: the workspace is a yellowfin if it is tearful.; int1 & int2 -> int3: the workspace is a yellowfin.; sent19 & sent26 -> int4: the workspace is a gymnosophy.; sent3 -> int5: the workspace is not a kind of a spicule if it is glabellar and it is a yellowfin.; __UNKNOWN__