there exists something such that the fact that it is both not a lever and non-equestrian is not incorrect.
sent1: the kimono is septal and is a casquet. sent2: if the blancmange is not an elements then the nonreader farts voile. sent3: the biotite is not a lever. sent4: there is something such that it is not a lever. sent5: something is both a lever and not equestrian. sent6: if the blancmange is not an elements then the nonreader does babbitt and it does fart voile. sent7: something is not a lever and not equestrian if it is a waterfall. sent8: something that is not domestic and not non-etiological is a convention. sent9: the nonreader is etiological. sent10: there exists something such that it is a convention. sent11: there is something such that it is not equestrian. sent12: the blancmange is not an elements. sent13: the nonreader is not a domestic. sent14: if something is a convention and it does babbitt the biotite is a kind of a waterfall.
sent13 & sent9 -> int1: the nonreader is not a domestic but it is etiological.; sent8 -> int2: if the fact that the nonreader is not domestic but etiological hold then it is a kind of a convention.; int1 & int2 -> int3: the fact that the nonreader is a convention hold.; sent6 & sent12 -> int4: the nonreader does babbitt and farts voile.; int4 -> int5: the nonreader is a babbitt.; int3 & int5 -> int6: the nonreader is a convention and it babbitts.; int6 -> int7: there exists something such that it is both a convention and a babbitt.; int7 & sent14 -> int8: the biotite is a waterfall.; sent7 -> int9: if the biotite is a waterfall it is not a kind of a lever and is not equestrian.; int8 & int9 -> int10: the biotite is not a lever and it is not equestrian.; int10 -> hypothesis;
$hypothesis$ = there exists something such that the fact that it is both not a lever and non-equestrian is not incorrect. ; $context$ = sent1: the kimono is septal and is a casquet. sent2: if the blancmange is not an elements then the nonreader farts voile. sent3: the biotite is not a lever. sent4: there is something such that it is not a lever. sent5: something is both a lever and not equestrian. sent6: if the blancmange is not an elements then the nonreader does babbitt and it does fart voile. sent7: something is not a lever and not equestrian if it is a waterfall. sent8: something that is not domestic and not non-etiological is a convention. sent9: the nonreader is etiological. sent10: there exists something such that it is a convention. sent11: there is something such that it is not equestrian. sent12: the blancmange is not an elements. sent13: the nonreader is not a domestic. sent14: if something is a convention and it does babbitt the biotite is a kind of a waterfall. ; $proof$ = 
sent13 & sent9 -> int1: the nonreader is not a domestic but it is etiological.; sent8 -> int2: if the fact that the nonreader is not domestic but etiological hold then it is a kind of a convention.; int1 & int2 -> int3: the fact that the nonreader is a convention hold.; sent6 & sent12 -> int4: the nonreader does babbitt and farts voile.; int4 -> int5: the nonreader is a babbitt.; int3 & int5 -> int6: the nonreader is a convention and it babbitts.; int6 -> int7: there exists something such that it is both a convention and a babbitt.; int7 & sent14 -> int8: the biotite is a waterfall.; sent7 -> int9: if the biotite is a waterfall it is not a kind of a lever and is not equestrian.; int8 & int9 -> int10: the biotite is not a lever and it is not equestrian.; int10 -> hypothesis; __PROVED__