there is something such that that it is not a kind of a graphics or it is not non-irrevocable or both is false.
sent1: that the bibliopole does not outnumber Herat and is erect does not hold if the Gond is not a kind of an unseen. sent2: there exists something such that it is a kind of a starboard. sent3: the fact that the cellist is not irrevocable is right. sent4: if the bibliopole is not irrevocable the cellist does outnumber Herat. sent5: if that the inga does not recover is not true then it is not a kind of a colander. sent6: the fact that the cellist does not starboard is not false. sent7: if something is a colander it is not tricentenary. sent8: there exists something such that the fact that either it does not shark or it is translatable or both does not hold. sent9: there is something such that it is aoristic. sent10: there is something such that the fact that it is non-starry or lighted or both is not correct. sent11: if the Gond is not irrevocable then that the bibliopole does outnumber Herat and is a kind of an unseen is not right. sent12: something does not starboard if it is either not a starboard or not tricentenary or both. sent13: something does not adapt Gond. sent14: something is not irrevocable if the fact that it does not outnumber Herat and is erect does not hold. sent15: if something is not erect then it is not irrevocable. sent16: the inga does not starboard. sent17: the fact that the Gond is not a kind of an unseen hold if that the inga is non-tricentenary is not incorrect. sent18: the fact that something is not irrevocable is correct. sent19: the fact that the hyperventilation does not outnumber Herat and/or is a kind of a libretto is not correct. sent20: that the bibliopole is both not a wheel and a starboard does not hold. sent21: if that the bibliopole is not irrevocable is true then the fact that the cellist is either not a graphics or not irrevocable or both is not true. sent22: something does not outnumber muchness if that it is both not impermeable and unconscious is not correct.
void -> assump1: Let's assume that the inga is not a colander.; sent16 & assump1 -> int1: the inga is not a kind of a starboard and it is not a colander.; sent7 -> int2: the inga is non-tricentenary if it is a colander.; sent14 -> int3: if that the bibliopole does not outnumber Herat and is erect does not hold then it is not irrevocable.;
the jurisdiction is not a starboard.
sent12 -> int4: if the jurisdiction is not a kind of a starboard and/or is non-tricentenary then it is not a starboard.;
$hypothesis$ = there is something such that that it is not a kind of a graphics or it is not non-irrevocable or both is false. ; $context$ = sent1: that the bibliopole does not outnumber Herat and is erect does not hold if the Gond is not a kind of an unseen. sent2: there exists something such that it is a kind of a starboard. sent3: the fact that the cellist is not irrevocable is right. sent4: if the bibliopole is not irrevocable the cellist does outnumber Herat. sent5: if that the inga does not recover is not true then it is not a kind of a colander. sent6: the fact that the cellist does not starboard is not false. sent7: if something is a colander it is not tricentenary. sent8: there exists something such that the fact that either it does not shark or it is translatable or both does not hold. sent9: there is something such that it is aoristic. sent10: there is something such that the fact that it is non-starry or lighted or both is not correct. sent11: if the Gond is not irrevocable then that the bibliopole does outnumber Herat and is a kind of an unseen is not right. sent12: something does not starboard if it is either not a starboard or not tricentenary or both. sent13: something does not adapt Gond. sent14: something is not irrevocable if the fact that it does not outnumber Herat and is erect does not hold. sent15: if something is not erect then it is not irrevocable. sent16: the inga does not starboard. sent17: the fact that the Gond is not a kind of an unseen hold if that the inga is non-tricentenary is not incorrect. sent18: the fact that something is not irrevocable is correct. sent19: the fact that the hyperventilation does not outnumber Herat and/or is a kind of a libretto is not correct. sent20: that the bibliopole is both not a wheel and a starboard does not hold. sent21: if that the bibliopole is not irrevocable is true then the fact that the cellist is either not a graphics or not irrevocable or both is not true. sent22: something does not outnumber muchness if that it is both not impermeable and unconscious is not correct. ; $proof$ = 
void -> assump1: Let's assume that the inga is not a colander.; sent16 & assump1 -> int1: the inga is not a kind of a starboard and it is not a colander.; sent7 -> int2: the inga is non-tricentenary if it is a colander.; sent14 -> int3: if that the bibliopole does not outnumber Herat and is erect does not hold then it is not irrevocable.; __UNKNOWN__