the shape is a Lyly.
sent1: if something is not neurotropic and/or it is not a Yuman it is a sundress. sent2: if the fact that something is non-feverish a Yuman is not right it is not Yuman. sent3: everything does tout sell. sent4: if something is a Yuman it is neurotropic. sent5: if the fact that the mezzotint is not neurotropic does not hold the saunterer is feverish. sent6: the fact that the lathi is non-feverish a Yuman is not true if it is distinct. sent7: the shape is not a Lyly if the saunterer is feverish and it is distinct. sent8: the shape is a sundress if that the rosette is a sundress is correct. sent9: the fact that the mezzotint is Yuman if the lathi does indurate uterus and is not an acoustics is true. sent10: everything is distinct and it does tout sell. sent11: that the rosette is not a sundress is correct. sent12: the lathi does indurate uterus and is not an acoustics if the rosette is not a sundress. sent13: something is a Lyly if it is a sundress.
sent12 & sent11 -> int1: the lathi does indurate uterus but it is not a kind of an acoustics.; int1 & sent9 -> int2: the fact that the mezzotint is not non-Yuman hold.; sent4 -> int3: if the mezzotint is a kind of a Yuman it is neurotropic.; int2 & int3 -> int4: the mezzotint is neurotropic.; int4 & sent5 -> int5: the saunterer is feverish.; sent10 -> int6: the saunterer is distinct and does tout sell.; int6 -> int7: the saunterer is distinct.; int5 & int7 -> int8: the saunterer is feverish and it is distinct.; int8 & sent7 -> hypothesis;
the shape is a kind of a Lyly.
sent13 -> int9: the shape is a Lyly if it is a sundress.; sent1 -> int10: the rosette is a sundress if it is not neurotropic or it is not a Yuman or both.; sent2 -> int11: if that the lathi is both not feverish and a Yuman is wrong it is not a Yuman.;
$hypothesis$ = the shape is a Lyly. ; $context$ = sent1: if something is not neurotropic and/or it is not a Yuman it is a sundress. sent2: if the fact that something is non-feverish a Yuman is not right it is not Yuman. sent3: everything does tout sell. sent4: if something is a Yuman it is neurotropic. sent5: if the fact that the mezzotint is not neurotropic does not hold the saunterer is feverish. sent6: the fact that the lathi is non-feverish a Yuman is not true if it is distinct. sent7: the shape is not a Lyly if the saunterer is feverish and it is distinct. sent8: the shape is a sundress if that the rosette is a sundress is correct. sent9: the fact that the mezzotint is Yuman if the lathi does indurate uterus and is not an acoustics is true. sent10: everything is distinct and it does tout sell. sent11: that the rosette is not a sundress is correct. sent12: the lathi does indurate uterus and is not an acoustics if the rosette is not a sundress. sent13: something is a Lyly if it is a sundress. ; $proof$ = 
sent12 & sent11 -> int1: the lathi does indurate uterus but it is not a kind of an acoustics.; int1 & sent9 -> int2: the fact that the mezzotint is not non-Yuman hold.; sent4 -> int3: if the mezzotint is a kind of a Yuman it is neurotropic.; int2 & int3 -> int4: the mezzotint is neurotropic.; int4 & sent5 -> int5: the saunterer is feverish.; sent10 -> int6: the saunterer is distinct and does tout sell.; int6 -> int7: the saunterer is distinct.; int5 & int7 -> int8: the saunterer is feverish and it is distinct.; int8 & sent7 -> hypothesis; __DISPROVED__