that the tourist is a secessionism is correct.
sent1: there exists something such that it does overrefine Georgia. sent2: something overrefines top if that it is not variable and it is not a Zeppelin does not hold. sent3: if the cordwood overrefines top and/or is not monocarboxylic the top is not a kind of a Zeppelin. sent4: there is something such that it is not vicinal. sent5: the top sneers and is insurrectional. sent6: if something is not a Zeppelin the fact that it is both not a variable and not vicinal does not hold. sent7: that the cordwood is a Acheron is right if that the top does overrefine top is not false. sent8: something is not a secessionism if the fact that it is not variable and is not vicinal does not hold. sent9: something is not a kind of a Zeppelin if the fact that it is a Acheron and it is a kind of a Zeppelin is not correct. sent10: that the top is a kind of invariable thing that is not a Zeppelin is not true if something is not vicinal. sent11: if a Acheron is monocarboxylic the tourist is a secessionism. sent12: that the cordwood is a Zeppelin hold if the top is monocarboxylic. sent13: the cordwood is monocarboxylic. sent14: the chink is a kind of a Tourette if the top is a kind of a Tourette. sent15: that the cordwood is not a Tourette but it is vicinal is incorrect if that it is not a variable is true. sent16: if there is something such that it is not a kind of a Acheron then the fact that the top is not monocarboxylic but it is a kind of a variable is not true.
sent4 & sent10 -> int1: that the top is a kind of non-variable thing that is not a Zeppelin is incorrect.; sent2 -> int2: the top does overrefine top if that it is not a kind of a variable and it is not a kind of a Zeppelin is incorrect.; int1 & int2 -> int3: the top does overrefine top.; int3 & sent7 -> int4: the cordwood is a Acheron.; int4 & sent13 -> int5: the cordwood is a Acheron and is monocarboxylic.; int5 -> int6: something is a kind of a Acheron that is monocarboxylic.; int6 & sent11 -> hypothesis;
the tourist is not a secessionism.
sent8 -> int7: if the fact that that the tourist is not a variable and it is not vicinal is correct is not true it is not a secessionism.; sent6 -> int8: if the fact that the tourist is not a Zeppelin is true the fact that that it is not a variable and it is not vicinal is right is false.; sent9 -> int9: the tourist is not a kind of a Zeppelin if that it is a Acheron that is a Zeppelin does not hold.;
$hypothesis$ = that the tourist is a secessionism is correct. ; $context$ = sent1: there exists something such that it does overrefine Georgia. sent2: something overrefines top if that it is not variable and it is not a Zeppelin does not hold. sent3: if the cordwood overrefines top and/or is not monocarboxylic the top is not a kind of a Zeppelin. sent4: there is something such that it is not vicinal. sent5: the top sneers and is insurrectional. sent6: if something is not a Zeppelin the fact that it is both not a variable and not vicinal does not hold. sent7: that the cordwood is a Acheron is right if that the top does overrefine top is not false. sent8: something is not a secessionism if the fact that it is not variable and is not vicinal does not hold. sent9: something is not a kind of a Zeppelin if the fact that it is a Acheron and it is a kind of a Zeppelin is not correct. sent10: that the top is a kind of invariable thing that is not a Zeppelin is not true if something is not vicinal. sent11: if a Acheron is monocarboxylic the tourist is a secessionism. sent12: that the cordwood is a Zeppelin hold if the top is monocarboxylic. sent13: the cordwood is monocarboxylic. sent14: the chink is a kind of a Tourette if the top is a kind of a Tourette. sent15: that the cordwood is not a Tourette but it is vicinal is incorrect if that it is not a variable is true. sent16: if there is something such that it is not a kind of a Acheron then the fact that the top is not monocarboxylic but it is a kind of a variable is not true. ; $proof$ = 
sent4 & sent10 -> int1: that the top is a kind of non-variable thing that is not a Zeppelin is incorrect.; sent2 -> int2: the top does overrefine top if that it is not a kind of a variable and it is not a kind of a Zeppelin is incorrect.; int1 & int2 -> int3: the top does overrefine top.; int3 & sent7 -> int4: the cordwood is a Acheron.; int4 & sent13 -> int5: the cordwood is a Acheron and is monocarboxylic.; int5 -> int6: something is a kind of a Acheron that is monocarboxylic.; int6 & sent11 -> hypothesis; __PROVED__