the ex-president does not bear Epimetheus.
sent1: the ganglion does tauten banned if the panicle is not a Gallinula and implies ganglion. sent2: the ex-president is a foretop and it implies knight. sent3: if the fact that something does not tauten banned and is not a 1728 is not true it is not a succade. sent4: if the ex-president implies baobab then it is rejective. sent5: the bannister is a foretop and does imply knight if it is not a kind of a succade. sent6: if something implies knight it bears Epimetheus.
sent2 -> int1: the ex-president implies knight.; sent6 -> int2: the ex-president does bear Epimetheus if that it does imply knight is right.; int1 & int2 -> hypothesis;
that the ex-president does not bear Epimetheus is not wrong.
sent3 -> int3: if that the bannister does not tauten banned and is not a 1728 is not right it is not a succade.;
$hypothesis$ = the ex-president does not bear Epimetheus. ; $context$ = sent1: the ganglion does tauten banned if the panicle is not a Gallinula and implies ganglion. sent2: the ex-president is a foretop and it implies knight. sent3: if the fact that something does not tauten banned and is not a 1728 is not true it is not a succade. sent4: if the ex-president implies baobab then it is rejective. sent5: the bannister is a foretop and does imply knight if it is not a kind of a succade. sent6: if something implies knight it bears Epimetheus. ; $proof$ = 
sent2 -> int1: the ex-president implies knight.; sent6 -> int2: the ex-president does bear Epimetheus if that it does imply knight is right.; int1 & int2 -> hypothesis; __DISPROVED__