if the gean does confederate bacillus that the watchdog is a holdout is true.
sent1: if something is a holdout that the gean is a kind of a balconied and does not confederate bacillus is incorrect. sent2: the fact that the gean is a holdout that does not confederate bacillus is not true. sent3: the watchdog does confederate bacillus if the gean is a kind of a holdout. sent4: if there exists something such that it does confederate bacillus then the fact that the marten is a XXX but it is not a balconied does not hold. sent5: if the fact that the marten is a holdout but it is not a kind of a XXX is not true the watchdog is a kind of a balconied. sent6: if there exists something such that it is a XXX then the fact that the marten does confederate bacillus and is not a holdout is incorrect. sent7: there exists something such that it does plummet. sent8: the marten confederates expansionism. sent9: the watchdog is a XXX. sent10: the fact that the marten is a XXX and is a balconied is wrong if something confederates bacillus. sent11: the fact that the watchdog is a balconied hold if the fact that the marten is a holdout and does not confederate bacillus does not hold. sent12: the marten is a balconied if the fact that the gean confederates bacillus and is not a kind of a XXX is wrong. sent13: if there exists something such that it is a kind of a holdout then that the marten is a XXX but not a balconied is not right. sent14: the marten is not a kind of a XXX if the watchdog does attitudinize and is a holdout. sent15: that the marten is a XXX and is a balconied is wrong. sent16: the watchdog is a holdout if the marten is a kind of a balconied. sent17: that the fact that the watchdog is a balconied and does not confederate bacillus is correct is not right if there exists something such that it is a kind of a holdout. sent18: if the fact that the marten is not a kind of a XXX is not incorrect then the impairer is a kind of a balconied and it confederates bacillus. sent19: there exists something such that it is a XXX.
void -> assump1: Let's assume that the gean does confederate bacillus.; assump1 -> int1: there exists something such that that it confederates bacillus is true.; int1 & sent4 -> int2: that the fact that the marten is a kind of a XXX but it is not a balconied is not incorrect is not right.;
the impairer is a balconied.
$hypothesis$ = if the gean does confederate bacillus that the watchdog is a holdout is true. ; $context$ = sent1: if something is a holdout that the gean is a kind of a balconied and does not confederate bacillus is incorrect. sent2: the fact that the gean is a holdout that does not confederate bacillus is not true. sent3: the watchdog does confederate bacillus if the gean is a kind of a holdout. sent4: if there exists something such that it does confederate bacillus then the fact that the marten is a XXX but it is not a balconied does not hold. sent5: if the fact that the marten is a holdout but it is not a kind of a XXX is not true the watchdog is a kind of a balconied. sent6: if there exists something such that it is a XXX then the fact that the marten does confederate bacillus and is not a holdout is incorrect. sent7: there exists something such that it does plummet. sent8: the marten confederates expansionism. sent9: the watchdog is a XXX. sent10: the fact that the marten is a XXX and is a balconied is wrong if something confederates bacillus. sent11: the fact that the watchdog is a balconied hold if the fact that the marten is a holdout and does not confederate bacillus does not hold. sent12: the marten is a balconied if the fact that the gean confederates bacillus and is not a kind of a XXX is wrong. sent13: if there exists something such that it is a kind of a holdout then that the marten is a XXX but not a balconied is not right. sent14: the marten is not a kind of a XXX if the watchdog does attitudinize and is a holdout. sent15: that the marten is a XXX and is a balconied is wrong. sent16: the watchdog is a holdout if the marten is a kind of a balconied. sent17: that the fact that the watchdog is a balconied and does not confederate bacillus is correct is not right if there exists something such that it is a kind of a holdout. sent18: if the fact that the marten is not a kind of a XXX is not incorrect then the impairer is a kind of a balconied and it confederates bacillus. sent19: there exists something such that it is a XXX. ; $proof$ = 
void -> assump1: Let's assume that the gean does confederate bacillus.; assump1 -> int1: there exists something such that that it confederates bacillus is true.; int1 & sent4 -> int2: that the fact that the marten is a kind of a XXX but it is not a balconied is not incorrect is not right.; __UNKNOWN__