the fact that the balancer is not a kind of a sticktight is right.
sent1: the balancer is not a Sarcochilus if the mirasol is a sticktight. sent2: the mirasol reasons if the Pianola does reasons. sent3: The pharisee does not capitalize mirasol. sent4: the mirasol does not capitalize pharisee. sent5: if something is a involucre that it does not bethink London and does not bethink selva does not hold. sent6: if there is something such that that it is a kind of animatistic thing that does not capitalize pharisee is not correct the trandolapril is not animatistic. sent7: the fact that the Pianola is animatistic but it is non-Zolaesque is false if the trandolapril is not non-Zolaesque. sent8: everything is not a Podilymbus. sent9: something does overrun cowberry and it is a involucre if it is not a Podilymbus. sent10: if the mirasol reasons that it is animatistic and it does not capitalize pharisee does not hold. sent11: something is a kind of a sticktight if it is Zolaesque. sent12: if the trandolapril is Zolaesque then the fact that the mirasol is a Sarcochilus and is not a postbox is wrong. sent13: if that something does not bethink London and it does not bethink selva is incorrect it is alchemic. sent14: the mirasol is a Sarcochilus and is not a kind of a postbox if it does not capitalize pharisee. sent15: that the Pianola is not animatistic but it is not non-Zolaesque is not right. sent16: the Pianola reasons if the nosh-up is alchemic. sent17: if that the fact that the Pianola is non-animatistic and it is not Zolaesque is right is not right the balancer is not a kind of a sticktight. sent18: the balancer is a sticktight if the trandolapril is a sticktight.
void -> assump1: Let's assume that the trandolapril is Zolaesque.; sent12 & assump1 -> int1: that the mirasol is a Sarcochilus but it is not a postbox does not hold.; sent14 & sent4 -> int2: the mirasol is both a Sarcochilus and not a postbox.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the trandolapril is non-Zolaesque.;
the balancer is a kind of a sticktight.
sent11 -> int5: the fact that if the balancer is Zolaesque the balancer is a sticktight hold.;
$hypothesis$ = the fact that the balancer is not a kind of a sticktight is right. ; $context$ = sent1: the balancer is not a Sarcochilus if the mirasol is a sticktight. sent2: the mirasol reasons if the Pianola does reasons. sent3: The pharisee does not capitalize mirasol. sent4: the mirasol does not capitalize pharisee. sent5: if something is a involucre that it does not bethink London and does not bethink selva does not hold. sent6: if there is something such that that it is a kind of animatistic thing that does not capitalize pharisee is not correct the trandolapril is not animatistic. sent7: the fact that the Pianola is animatistic but it is non-Zolaesque is false if the trandolapril is not non-Zolaesque. sent8: everything is not a Podilymbus. sent9: something does overrun cowberry and it is a involucre if it is not a Podilymbus. sent10: if the mirasol reasons that it is animatistic and it does not capitalize pharisee does not hold. sent11: something is a kind of a sticktight if it is Zolaesque. sent12: if the trandolapril is Zolaesque then the fact that the mirasol is a Sarcochilus and is not a postbox is wrong. sent13: if that something does not bethink London and it does not bethink selva is incorrect it is alchemic. sent14: the mirasol is a Sarcochilus and is not a kind of a postbox if it does not capitalize pharisee. sent15: that the Pianola is not animatistic but it is not non-Zolaesque is not right. sent16: the Pianola reasons if the nosh-up is alchemic. sent17: if that the fact that the Pianola is non-animatistic and it is not Zolaesque is right is not right the balancer is not a kind of a sticktight. sent18: the balancer is a sticktight if the trandolapril is a sticktight. ; $proof$ = 
void -> assump1: Let's assume that the trandolapril is Zolaesque.; sent12 & assump1 -> int1: that the mirasol is a Sarcochilus but it is not a postbox does not hold.; sent14 & sent4 -> int2: the mirasol is both a Sarcochilus and not a postbox.; int1 & int2 -> int3: this is contradiction.; [assump1] & int3 -> int4: the trandolapril is non-Zolaesque.; __UNKNOWN__