there exists something such that either it is synchronous or it is a friskiness or both.
sent1: the encainide is synchronous if the patch is mercuric. sent2: the fact that the geneticist is a mobile and is a hole does not hold. sent3: the patch is rectal. sent4: the encainide is a friskiness and/or it is mercuric. sent5: either something is mercuric or it is synchronous or both. sent6: the patch is mercuric. sent7: the encainide is mercuric if the patch is a kind of a friskiness. sent8: the encainide either is synchronous or is mercuric or both. sent9: the encainide is a friskiness or is immaterial or both. sent10: either the encainide is a cucumber or it is synchronous or both. sent11: something is not a Tubman if it is a kind of a taka. sent12: something is cryonics and/or it sleeps curbstone. sent13: there exists something such that it is mercuric or a friskiness or both. sent14: there is something such that either it is synchronous or it is mercuric or both. sent15: if that the patch is mercuric and it is synchronous does not hold the kiddy is not mercuric. sent16: there exists something such that it is either not non-lyric or not sensible or both. sent17: there is something such that it is a kind of a friskiness or it is mercuric or both. sent18: the bushman does sleep propenoate. sent19: the encainide is mercuric. sent20: something is a kind of a monition or it is a friskiness or both if it is not mercuric.
sent1 & sent6 -> int1: the encainide is synchronous.; int1 -> int2: the encainide is synchronous and/or it is a friskiness.; int2 -> hypothesis;
the kiddy is either a monition or a friskiness or both.
sent20 -> int3: the fact that either the kiddy is a kind of a monition or it is a friskiness or both is true if it is not mercuric.; sent11 -> int4: if the encainide is a kind of a taka then it is not a Tubman.; sent2 -> int5: there is something such that that it is a mobile and it is a kind of a hole is incorrect.;
$hypothesis$ = there exists something such that either it is synchronous or it is a friskiness or both. ; $context$ = sent1: the encainide is synchronous if the patch is mercuric. sent2: the fact that the geneticist is a mobile and is a hole does not hold. sent3: the patch is rectal. sent4: the encainide is a friskiness and/or it is mercuric. sent5: either something is mercuric or it is synchronous or both. sent6: the patch is mercuric. sent7: the encainide is mercuric if the patch is a kind of a friskiness. sent8: the encainide either is synchronous or is mercuric or both. sent9: the encainide is a friskiness or is immaterial or both. sent10: either the encainide is a cucumber or it is synchronous or both. sent11: something is not a Tubman if it is a kind of a taka. sent12: something is cryonics and/or it sleeps curbstone. sent13: there exists something such that it is mercuric or a friskiness or both. sent14: there is something such that either it is synchronous or it is mercuric or both. sent15: if that the patch is mercuric and it is synchronous does not hold the kiddy is not mercuric. sent16: there exists something such that it is either not non-lyric or not sensible or both. sent17: there is something such that it is a kind of a friskiness or it is mercuric or both. sent18: the bushman does sleep propenoate. sent19: the encainide is mercuric. sent20: something is a kind of a monition or it is a friskiness or both if it is not mercuric. ; $proof$ = 
sent1 & sent6 -> int1: the encainide is synchronous.; int1 -> int2: the encainide is synchronous and/or it is a friskiness.; int2 -> hypothesis; __PROVED__