that that the copyist is both not tractive and not a virgin is incorrect is not wrong.
sent1: the fact that the copyist is both not tractive and a virgin is not correct. sent2: the adrenosterone is not nonarbitrary if it is a kind of a thiopental. sent3: the fact that the fact that the adrenosterone is not a kind of a thiopental and it is not a Tiamat does not hold is right. sent4: if something is not a hammerhead then the fact that it is a thiopental and is a kind of a Tiamat is incorrect. sent5: the copyist is arbitrary. sent6: the fact that the copyist is not tractive and it is not a virgin is not correct if that the adrenosterone is a kind of a virgin does not hold. sent7: the sitar does not disentangle and does abjure Opisthobranchia. sent8: something is not a virgin if it is arbitrary. sent9: if the fact that the leatherette is a thiopental and it is a Tiamat does not hold the copyist is not arbitrary.
sent8 -> int1: the adrenosterone is not a kind of a virgin if it is arbitrary.;
the copyist is non-tractive thing that is not a virgin.
sent4 -> int2: if the leatherette is not a hammerhead the fact that it is a thiopental and it is a Tiamat is false.; sent7 -> int3: the sitar does not disentangle.; int3 -> int4: there exists something such that the fact that it does not disentangle is right.;
$hypothesis$ = that that the copyist is both not tractive and not a virgin is incorrect is not wrong. ; $context$ = sent1: the fact that the copyist is both not tractive and a virgin is not correct. sent2: the adrenosterone is not nonarbitrary if it is a kind of a thiopental. sent3: the fact that the fact that the adrenosterone is not a kind of a thiopental and it is not a Tiamat does not hold is right. sent4: if something is not a hammerhead then the fact that it is a thiopental and is a kind of a Tiamat is incorrect. sent5: the copyist is arbitrary. sent6: the fact that the copyist is not tractive and it is not a virgin is not correct if that the adrenosterone is a kind of a virgin does not hold. sent7: the sitar does not disentangle and does abjure Opisthobranchia. sent8: something is not a virgin if it is arbitrary. sent9: if the fact that the leatherette is a thiopental and it is a Tiamat does not hold the copyist is not arbitrary. ; $proof$ = 
sent8 -> int1: the adrenosterone is not a kind of a virgin if it is arbitrary.; __UNKNOWN__