that something is a tonic and it is lacrimal is not right.
sent1: if something is not a kind of a Colette and/or does not refrain then it is not unsworn. sent2: the AA is both tonic and lacrimal if the scauper is not unsworn. sent3: the tricot tunnels horsefly. sent4: if the fact that the scauper is not unsworn is not wrong then the AA is lacrimal. sent5: if something tunnels horsefly or it is a wrong or both the tricot tunnels horsefly. sent6: if the tricot is a wrong then the Swift does not chomp and is marine. sent7: if the Swift does not chomp and is marine the scauper does not refrain. sent8: the Swift does not chomp if the tricot is wrong. sent9: if the Swift does chomp then it is a wrong. sent10: something is not a kind of a tonic if that it is a kind of tonic thing that does not tunnel horsefly is not correct. sent11: the fact that the hold is tonic thing that does not tunnel horsefly does not hold if there exists something such that it does tunnel horsefly. sent12: the tricot does tunnel horsefly and wrongs. sent13: there exists something such that it is a kind of a sundae.
sent12 -> int1: the tricot is a wrong.; int1 & sent6 -> int2: the Swift does not chomp and is marine.; int2 & sent7 -> int3: the scauper is not a refrain.; int3 -> int4: the scauper either is not a Colette or does not refrain or both.; sent1 -> int5: if the scauper is not a kind of a Colette and/or it is not a kind of a refrain it is not unsworn.; int4 & int5 -> int6: the scauper is not unsworn.; int6 & sent2 -> int7: the AA is a tonic and is lacrimal.; int7 -> hypothesis;
the hold is not tonic.
sent10 -> int8: if that the hold is a kind of tonic thing that does not tunnel horsefly is not true it is not a tonic.;
$hypothesis$ = that something is a tonic and it is lacrimal is not right. ; $context$ = sent1: if something is not a kind of a Colette and/or does not refrain then it is not unsworn. sent2: the AA is both tonic and lacrimal if the scauper is not unsworn. sent3: the tricot tunnels horsefly. sent4: if the fact that the scauper is not unsworn is not wrong then the AA is lacrimal. sent5: if something tunnels horsefly or it is a wrong or both the tricot tunnels horsefly. sent6: if the tricot is a wrong then the Swift does not chomp and is marine. sent7: if the Swift does not chomp and is marine the scauper does not refrain. sent8: the Swift does not chomp if the tricot is wrong. sent9: if the Swift does chomp then it is a wrong. sent10: something is not a kind of a tonic if that it is a kind of tonic thing that does not tunnel horsefly is not correct. sent11: the fact that the hold is tonic thing that does not tunnel horsefly does not hold if there exists something such that it does tunnel horsefly. sent12: the tricot does tunnel horsefly and wrongs. sent13: there exists something such that it is a kind of a sundae. ; $proof$ = 
sent12 -> int1: the tricot is a wrong.; int1 & sent6 -> int2: the Swift does not chomp and is marine.; int2 & sent7 -> int3: the scauper is not a refrain.; int3 -> int4: the scauper either is not a Colette or does not refrain or both.; sent1 -> int5: if the scauper is not a kind of a Colette and/or it is not a kind of a refrain it is not unsworn.; int4 & int5 -> int6: the scauper is not unsworn.; int6 & sent2 -> int7: the AA is a tonic and is lacrimal.; int7 -> hypothesis; __DISPROVED__