that the Sclerotium is a kind of non-accusatorial thing that is a Weber is wrong.
sent1: if the amalgam scans then the fact that the Sclerotium is not accusatorial but it is a Weber is not incorrect. sent2: that the Sclerotium is a silver-lace hold if it does not permit misdeal. sent3: if the Sclerotium is not bistroic it is Hispaniolan. sent4: the hydrolith is not bistroic. sent5: that something is not accusatorial but it is a kind of a Weber is not true if it is not a scanning. sent6: the Sclerotium is a Genoese if the fact that it does not scan is right. sent7: the fact that the Sclerotium is accusatorial and it is a Weber does not hold. sent8: if that that either the Sclerotium is bistroic or it is a Eustoma or both is right does not hold it is not a scanning. sent9: that the signora is a fan and it permits tollbooth is not right. sent10: the Sclerotium is not Sisyphean. sent11: if the Evangelist does not bumble simultaneity it is an owl. sent12: if the fact that something is bistroic and/or it is not a Eustoma is not right it does not scan. sent13: the fact that either the Sclerotium is bistroic or it is not a Eustoma or both does not hold if it is not a kind of an andante.
sent12 -> int1: the Sclerotium is not a kind of a scanning if the fact that it is bistroic and/or not a Eustoma is incorrect.; sent5 -> int2: if the Sclerotium does not scan then that the fact that it is not accusatorial and is a Weber is correct is not correct.;
the Sclerotium is both not accusatorial and a Weber.
$hypothesis$ = that the Sclerotium is a kind of non-accusatorial thing that is a Weber is wrong. ; $context$ = sent1: if the amalgam scans then the fact that the Sclerotium is not accusatorial but it is a Weber is not incorrect. sent2: that the Sclerotium is a silver-lace hold if it does not permit misdeal. sent3: if the Sclerotium is not bistroic it is Hispaniolan. sent4: the hydrolith is not bistroic. sent5: that something is not accusatorial but it is a kind of a Weber is not true if it is not a scanning. sent6: the Sclerotium is a Genoese if the fact that it does not scan is right. sent7: the fact that the Sclerotium is accusatorial and it is a Weber does not hold. sent8: if that that either the Sclerotium is bistroic or it is a Eustoma or both is right does not hold it is not a scanning. sent9: that the signora is a fan and it permits tollbooth is not right. sent10: the Sclerotium is not Sisyphean. sent11: if the Evangelist does not bumble simultaneity it is an owl. sent12: if the fact that something is bistroic and/or it is not a Eustoma is not right it does not scan. sent13: the fact that either the Sclerotium is bistroic or it is not a Eustoma or both does not hold if it is not a kind of an andante. ; $proof$ = 
sent12 -> int1: the Sclerotium is not a kind of a scanning if the fact that it is bistroic and/or not a Eustoma is incorrect.; sent5 -> int2: if the Sclerotium does not scan then that the fact that it is not accusatorial and is a Weber is correct is not correct.; __UNKNOWN__