the elevator is a kind of non-ventral thing that does not expound.
sent1: something is not ventral if it is forgettable and/or is a kind of a poultryman. sent2: the cyberart is not a shirtdress if it is not a trouble. sent3: if the cyberart is a poultryman it is not ventral. sent4: the cyberart is not a trouble. sent5: something that is not a shirtdress is forgettable. sent6: if the cyberart is not ventral the elevator is not ventral and it does not expound.
sent2 & sent4 -> int1: the fact that the cyberart is not a kind of a shirtdress is correct.; sent5 -> int2: if the cyberart is not a kind of a shirtdress then that it is forgettable hold.; int1 & int2 -> int3: the cyberart is forgettable.; int3 -> int4: the cyberart is forgettable or a poultryman or both.; sent1 -> int5: if the cyberart is forgettable or it is a poultryman or both then it is not ventral.; int4 & int5 -> int6: the cyberart is not ventral.; int6 & sent6 -> hypothesis;
$hypothesis$ = the elevator is a kind of non-ventral thing that does not expound. ; $context$ = sent1: something is not ventral if it is forgettable and/or is a kind of a poultryman. sent2: the cyberart is not a shirtdress if it is not a trouble. sent3: if the cyberart is a poultryman it is not ventral. sent4: the cyberart is not a trouble. sent5: something that is not a shirtdress is forgettable. sent6: if the cyberart is not ventral the elevator is not ventral and it does not expound. ; $proof$ = 
sent2 & sent4 -> int1: the fact that the cyberart is not a kind of a shirtdress is correct.; sent5 -> int2: if the cyberart is not a kind of a shirtdress then that it is forgettable hold.; int1 & int2 -> int3: the cyberart is forgettable.; int3 -> int4: the cyberart is forgettable or a poultryman or both.; sent1 -> int5: if the cyberart is forgettable or it is a poultryman or both then it is not ventral.; int4 & int5 -> int6: the cyberart is not ventral.; int6 & sent6 -> hypothesis; __PROVED__