there exists something such that if it is a Schumann that it is tinny and is not Marian is false.
sent1: there exists something such that if it is a kind of a Schumann then it is tinny thing that is not Marian. sent2: if something is a ratter then the fact that it is inheritable and is not a large is not correct.
there is something such that if it is a kind of a ratter then that that it is inheritable and it is not a kind of a large is right is incorrect.
sent2 -> int1: that the hemming-stitch is inheritable and is not large is false if the fact that it is a ratter hold.; int1 -> hypothesis;
$hypothesis$ = there exists something such that if it is a Schumann that it is tinny and is not Marian is false. ; $context$ = sent1: there exists something such that if it is a kind of a Schumann then it is tinny thing that is not Marian. sent2: if something is a ratter then the fact that it is inheritable and is not a large is not correct. ; $proof$ = 
__UNKNOWN__