if that the mercenary is not fresh is right then the juxtaposition is not arboreal.
sent1: the juxtaposition is not two-dimensional and it does not retire if the consumption is not a gust. sent2: something is not a Zeno if the fact that it is arboreal and it is fresh is not right. sent3: something is not a gust if the fact that it is a Seriphus and it is not a Cohn does not hold. sent4: if the countinghouse is not a Zeno the juxtaposition is not arboreal. sent5: there is something such that that it is opposable and it is not a Zeno is wrong. sent6: the mercenary is fresh if there is something such that that it is not opposable and it is not a kind of a Zeno is wrong. sent7: the juxtaposition is not opposable. sent8: the countinghouse is arboreal if the juxtaposition is not a Zeno. sent9: the consumption is a kind of a western if the bridle is a kind of a western. sent10: there exists something such that it is not a kind of a Zeno and it is not fresh. sent11: that the countinghouse is not arboreal but it incorporates harpulla is not true. sent12: the mercenary is arboreal if the juxtaposition is not fresh. sent13: the harpulla is a delegating. sent14: if the fact that the juxtaposition is not two-dimensional is not incorrect the fact that the mercenary is arboreal and it is fresh does not hold. sent15: the fact that something is both a Seriphus and not a Cohn is not correct if the fact that it is not a western is not correct. sent16: the harpulla is not opposable. sent17: the juxtaposition is opposable if the countinghouse is not arboreal.
void -> assump1: Let's assume that that the countinghouse is not opposable and it is not a kind of a Zeno does not hold.; assump1 -> int1: there exists something such that that it is not opposable and it is not a Zeno is not true.; int1 & sent6 -> int2: the fact that the mercenary is fresh is correct.; void -> assump2: Let's assume that the mercenary is not fresh.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the countinghouse is not opposable and is not a Zeno.; int4 -> int5: the countinghouse is not a kind of a Zeno.; sent4 & int5 -> int6: the juxtaposition is not arboreal.; [assump2] & int6 -> hypothesis;
the mercenary is not a Zeno.
sent2 -> int7: the mercenary is not a kind of a Zeno if that it is arboreal and it is fresh is not right.; sent3 -> int8: the consumption is not a kind of a gust if the fact that it is a kind of a Seriphus and is not a Cohn is incorrect.; sent15 -> int9: that the consumption is a kind of a Seriphus that is not a Cohn does not hold if it is western.;
$hypothesis$ = if that the mercenary is not fresh is right then the juxtaposition is not arboreal. ; $context$ = sent1: the juxtaposition is not two-dimensional and it does not retire if the consumption is not a gust. sent2: something is not a Zeno if the fact that it is arboreal and it is fresh is not right. sent3: something is not a gust if the fact that it is a Seriphus and it is not a Cohn does not hold. sent4: if the countinghouse is not a Zeno the juxtaposition is not arboreal. sent5: there is something such that that it is opposable and it is not a Zeno is wrong. sent6: the mercenary is fresh if there is something such that that it is not opposable and it is not a kind of a Zeno is wrong. sent7: the juxtaposition is not opposable. sent8: the countinghouse is arboreal if the juxtaposition is not a Zeno. sent9: the consumption is a kind of a western if the bridle is a kind of a western. sent10: there exists something such that it is not a kind of a Zeno and it is not fresh. sent11: that the countinghouse is not arboreal but it incorporates harpulla is not true. sent12: the mercenary is arboreal if the juxtaposition is not fresh. sent13: the harpulla is a delegating. sent14: if the fact that the juxtaposition is not two-dimensional is not incorrect the fact that the mercenary is arboreal and it is fresh does not hold. sent15: the fact that something is both a Seriphus and not a Cohn is not correct if the fact that it is not a western is not correct. sent16: the harpulla is not opposable. sent17: the juxtaposition is opposable if the countinghouse is not arboreal. ; $proof$ = 
void -> assump1: Let's assume that that the countinghouse is not opposable and it is not a kind of a Zeno does not hold.; assump1 -> int1: there exists something such that that it is not opposable and it is not a Zeno is not true.; int1 & sent6 -> int2: the fact that the mercenary is fresh is correct.; void -> assump2: Let's assume that the mercenary is not fresh.; int2 & assump2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the countinghouse is not opposable and is not a Zeno.; int4 -> int5: the countinghouse is not a kind of a Zeno.; sent4 & int5 -> int6: the juxtaposition is not arboreal.; [assump2] & int6 -> hypothesis; __PROVED__