that the Southerner is antiferromagnetic and it is not uncooperative is false.
sent1: the Southerner is antiferromagnetic if it does stickle. sent2: if the eardrop does not stickle then the Southerner does not stickle. sent3: the fact that the Southerner does stickle is not false if there exists something such that the fact that the fact that it is non-antiferromagnetic thing that is a cooperative hold does not hold. sent4: there exists something such that it is a kind of non-ill thing that is a tripod. sent5: the Hope is a cooperative. sent6: if something does not exsiccate candyfloss the Southerner is a first-nighter. sent7: that the Southerner stickles is true if there exists something such that it is ill. sent8: the Southerner does stickle if there exists something such that the fact that it is a kind of non-ill a tripod is incorrect. sent9: that something is antiferromagnetic and it is a cooperative is false if it does not stickle. sent10: there exists something such that that it is non-ill a tripod is not correct. sent11: there exists something such that the fact that it does stickle and it is a kind of a cooperative is not true. sent12: the Southerner is a cooperative. sent13: a acanthotic thing does not stickle and/or is not a Porzana. sent14: the Southerner is a tripod. sent15: the rum is a guzzler.
sent10 & sent8 -> int1: the Southerner stickles.; int1 & sent1 -> int2: the Southerner is antiferromagnetic.; int2 & sent12 -> hypothesis;
that the Southerner is a kind of antiferromagnetic a cooperative is false.
sent9 -> int3: that the Southerner is antiferromagnetic and it is a cooperative is wrong if it does not stickle.; sent13 -> int4: if the lampblack is acanthotic then either it does not stickle or it is not a Porzana or both.;
$hypothesis$ = that the Southerner is antiferromagnetic and it is not uncooperative is false. ; $context$ = sent1: the Southerner is antiferromagnetic if it does stickle. sent2: if the eardrop does not stickle then the Southerner does not stickle. sent3: the fact that the Southerner does stickle is not false if there exists something such that the fact that the fact that it is non-antiferromagnetic thing that is a cooperative hold does not hold. sent4: there exists something such that it is a kind of non-ill thing that is a tripod. sent5: the Hope is a cooperative. sent6: if something does not exsiccate candyfloss the Southerner is a first-nighter. sent7: that the Southerner stickles is true if there exists something such that it is ill. sent8: the Southerner does stickle if there exists something such that the fact that it is a kind of non-ill a tripod is incorrect. sent9: that something is antiferromagnetic and it is a cooperative is false if it does not stickle. sent10: there exists something such that that it is non-ill a tripod is not correct. sent11: there exists something such that the fact that it does stickle and it is a kind of a cooperative is not true. sent12: the Southerner is a cooperative. sent13: a acanthotic thing does not stickle and/or is not a Porzana. sent14: the Southerner is a tripod. sent15: the rum is a guzzler. ; $proof$ = 
sent10 & sent8 -> int1: the Southerner stickles.; int1 & sent1 -> int2: the Southerner is antiferromagnetic.; int2 & sent12 -> hypothesis; __DISPROVED__