the chrysoprase is not legless.
sent1: something does startle udder if it is a kind of a Sayda. sent2: if the fact that something is not azotemic but a unguiculate is not true then it is a jack. sent3: the fact that the lame is not a Bandung but it is a kind of a Myriophyllum is not true. sent4: if that the lame is not a kind of a Bandung but it is a Myriophyllum is not true the fact that the vertebrate startles gentleness is true. sent5: the fact that something does startle udder but it is not diffident does not hold if it does startle gentleness. sent6: if there is something such that it does not jack then the lame is either not non-unguiculate or non-azotemic or both. sent7: the fact that something is expendable and does not supplicate is wrong if it is a jack. sent8: something is not a kind of a Sayda if that it does startle udder and is not diffident is wrong. sent9: something does not supplicate if it is diffident and it does not startle gentleness. sent10: that the chrysoprase is non-azotemic but it is a unguiculate is not true if the vertebrate is not a Sayda. sent11: something is not legless if the fact that it is not unexpendable and it does not supplicate does not hold. sent12: there is something such that it is not a jack.
sent4 & sent3 -> int1: the vertebrate does startle gentleness.; sent5 -> int2: if that the vertebrate startles gentleness is not incorrect that it does startle udder and it is not diffident is not right.; int1 & int2 -> int3: the fact that the vertebrate startles udder and is not diffident does not hold.; sent8 -> int4: that the vertebrate is not a Sayda is right if the fact that it startles udder and it is not diffident is wrong.; int3 & int4 -> int5: the vertebrate is not a kind of a Sayda.; int5 & sent10 -> int6: that the chrysoprase is not azotemic but it is unguiculate is wrong.; sent2 -> int7: if that the chrysoprase is not azotemic but it is unguiculate is not true it jacks.; int6 & int7 -> int8: that the chrysoprase is a jack hold.; sent7 -> int9: if the chrysoprase is a kind of a jack the fact that it is not unexpendable and it does not supplicate does not hold.; int8 & int9 -> int10: that the chrysoprase is not unexpendable and does not supplicate is not true.; sent11 -> int11: if the fact that the chrysoprase is not unexpendable and it does not supplicate is wrong it is not legless.; int10 & int11 -> hypothesis;
the vertebrate does not supplicate.
sent9 -> int12: if the vertebrate is diffident but it does not startle gentleness it does not supplicate.; sent1 -> int13: the vertebrate startles udder if it is a Sayda.; sent12 & sent6 -> int14: either the lame is a unguiculate or it is not azotemic or both.; int14 -> int15: there exists something such that it is a unguiculate and/or it is not azotemic.;
$hypothesis$ = the chrysoprase is not legless. ; $context$ = sent1: something does startle udder if it is a kind of a Sayda. sent2: if the fact that something is not azotemic but a unguiculate is not true then it is a jack. sent3: the fact that the lame is not a Bandung but it is a kind of a Myriophyllum is not true. sent4: if that the lame is not a kind of a Bandung but it is a Myriophyllum is not true the fact that the vertebrate startles gentleness is true. sent5: the fact that something does startle udder but it is not diffident does not hold if it does startle gentleness. sent6: if there is something such that it does not jack then the lame is either not non-unguiculate or non-azotemic or both. sent7: the fact that something is expendable and does not supplicate is wrong if it is a jack. sent8: something is not a kind of a Sayda if that it does startle udder and is not diffident is wrong. sent9: something does not supplicate if it is diffident and it does not startle gentleness. sent10: that the chrysoprase is non-azotemic but it is a unguiculate is not true if the vertebrate is not a Sayda. sent11: something is not legless if the fact that it is not unexpendable and it does not supplicate does not hold. sent12: there is something such that it is not a jack. ; $proof$ = 
sent4 & sent3 -> int1: the vertebrate does startle gentleness.; sent5 -> int2: if that the vertebrate startles gentleness is not incorrect that it does startle udder and it is not diffident is not right.; int1 & int2 -> int3: the fact that the vertebrate startles udder and is not diffident does not hold.; sent8 -> int4: that the vertebrate is not a Sayda is right if the fact that it startles udder and it is not diffident is wrong.; int3 & int4 -> int5: the vertebrate is not a kind of a Sayda.; int5 & sent10 -> int6: that the chrysoprase is not azotemic but it is unguiculate is wrong.; sent2 -> int7: if that the chrysoprase is not azotemic but it is unguiculate is not true it jacks.; int6 & int7 -> int8: that the chrysoprase is a jack hold.; sent7 -> int9: if the chrysoprase is a kind of a jack the fact that it is not unexpendable and it does not supplicate does not hold.; int8 & int9 -> int10: that the chrysoprase is not unexpendable and does not supplicate is not true.; sent11 -> int11: if the fact that the chrysoprase is not unexpendable and it does not supplicate is wrong it is not legless.; int10 & int11 -> hypothesis; __PROVED__