the sculptress is lexical.
sent1: the idol does not undress gelatin. sent2: if that the sculptress is not a consumerism is not wrong then it does not gang and it is a rubbish. sent3: if there exists something such that it is a rubbish and it does not gang then the sculptress is not lexical. sent4: the idol is a rubbish but it does not gang if the ex-wife does not gang. sent5: if the thysanopter is not a eightsome or it does not undress ex-wife or both it does not undress gelatin. sent6: if the thysanopter is not a eightsome it does not undress gelatin. sent7: that the thysanopter is not a Venetian is not wrong if that the gelatin is a kind of a consumerism but it is not a top-up does not hold. sent8: the thysanopter is not a eightsome and/or it does not undress ex-wife. sent9: the idol does not gang. sent10: that the gelatin is a kind of a consumerism but it is not a top-up does not hold. sent11: the ex-wife is not lexical if something is not a consumerism and not a rubbish. sent12: that the gelatin is a kind of a consumerism that is a top-up is incorrect. sent13: the gelatin does not undress ex-wife. sent14: the thysanopter is a kind of a eightsome and/or it does not undress ex-wife. sent15: if the thysanopter does not undress gelatin and it is not Venetian then the ex-wife is not a gang. sent16: if something is a Venetian then it is lexical. sent17: if there is something such that it does rubbish and gangs then the sculptress is not lexical. sent18: the sculptress is a kind of a top-up. sent19: if there is something such that the fact that it is not Venetian and it does undress gelatin does not hold then the leverage is not a gang.
sent5 & sent8 -> int1: the thysanopter does not undress gelatin.; sent7 & sent10 -> int2: the thysanopter is not a Venetian.; int1 & int2 -> int3: the thysanopter does not undress gelatin and it is not a Venetian.; int3 & sent15 -> int4: the ex-wife is not a gang.; int4 & sent4 -> int5: the idol is both a rubbish and not a gang.; int5 -> int6: there is something such that it is a rubbish and it is not a gang.; int6 & sent3 -> hypothesis;
the fact that the leverage is not a gang hold.
sent18 -> int7: there is something such that it is a kind of a top-up.;
$hypothesis$ = the sculptress is lexical. ; $context$ = sent1: the idol does not undress gelatin. sent2: if that the sculptress is not a consumerism is not wrong then it does not gang and it is a rubbish. sent3: if there exists something such that it is a rubbish and it does not gang then the sculptress is not lexical. sent4: the idol is a rubbish but it does not gang if the ex-wife does not gang. sent5: if the thysanopter is not a eightsome or it does not undress ex-wife or both it does not undress gelatin. sent6: if the thysanopter is not a eightsome it does not undress gelatin. sent7: that the thysanopter is not a Venetian is not wrong if that the gelatin is a kind of a consumerism but it is not a top-up does not hold. sent8: the thysanopter is not a eightsome and/or it does not undress ex-wife. sent9: the idol does not gang. sent10: that the gelatin is a kind of a consumerism but it is not a top-up does not hold. sent11: the ex-wife is not lexical if something is not a consumerism and not a rubbish. sent12: that the gelatin is a kind of a consumerism that is a top-up is incorrect. sent13: the gelatin does not undress ex-wife. sent14: the thysanopter is a kind of a eightsome and/or it does not undress ex-wife. sent15: if the thysanopter does not undress gelatin and it is not Venetian then the ex-wife is not a gang. sent16: if something is a Venetian then it is lexical. sent17: if there is something such that it does rubbish and gangs then the sculptress is not lexical. sent18: the sculptress is a kind of a top-up. sent19: if there is something such that the fact that it is not Venetian and it does undress gelatin does not hold then the leverage is not a gang. ; $proof$ = 
sent5 & sent8 -> int1: the thysanopter does not undress gelatin.; sent7 & sent10 -> int2: the thysanopter is not a Venetian.; int1 & int2 -> int3: the thysanopter does not undress gelatin and it is not a Venetian.; int3 & sent15 -> int4: the ex-wife is not a gang.; int4 & sent4 -> int5: the idol is both a rubbish and not a gang.; int5 -> int6: there is something such that it is a rubbish and it is not a gang.; int6 & sent3 -> hypothesis; __DISPROVED__