the fact that something does not reload and is not a cocker is false.
sent1: something is not Eurocentric and does not reload. sent2: the tolu does ruminate. sent3: the tolu is not a cocker if it is heterodactyl thing that does not ruminate. sent4: there is something such that it does not reload and it is a cocker. sent5: that the Jacobean is not a cocker is not false if the tolu does ruminate. sent6: the Jacobean is not Eurocentric. sent7: there is something such that it reloads and it is not a cocker. sent8: something is not Eurocentric and it is not a kind of a cocker. sent9: something does not reload. sent10: the tolu does not reload if the Jacobean does ruminate. sent11: the tolu is both bolographic and not athletic. sent12: the tolu does not reload if the Jacobean is heterodactyl. sent13: something does not reload and is not heterodactyl. sent14: if the Jacobean does not prime then that the episcopate does not sonnet trichloroethylene but it ruminates is not true. sent15: there exists something such that it is not a kind of a cocker. sent16: the Jacobean does not reload if that it is heterodactyl and is Eurocentric is right. sent17: something does not reload if that it does not sonnet trichloroethylene and ruminates does not hold. sent18: the Jacobean does not reload if it is heterodactyl and non-Eurocentric. sent19: the tolu is not a stock-in-trade. sent20: that the Jacobean is not a kind of a grandson is right. sent21: if the Jacobean is a kind of a cocker and does not reload then it does not ruminate. sent22: the Jacobean is heterodactyl thing that is not Eurocentric. sent23: the trichloroethylene is tense thing that is not a cocker.
sent18 & sent22 -> int1: the Jacobean does not reload.; sent5 & sent2 -> int2: the Jacobean is not a cocker.; int1 & int2 -> int3: the Jacobean does not reload and it is not a cocker.; int3 -> hypothesis;
the episcopate is not heterodactyl.
sent17 -> int4: the episcopate does not reload if the fact that it does not sonnet trichloroethylene and it does ruminate is not right.;
$hypothesis$ = the fact that something does not reload and is not a cocker is false. ; $context$ = sent1: something is not Eurocentric and does not reload. sent2: the tolu does ruminate. sent3: the tolu is not a cocker if it is heterodactyl thing that does not ruminate. sent4: there is something such that it does not reload and it is a cocker. sent5: that the Jacobean is not a cocker is not false if the tolu does ruminate. sent6: the Jacobean is not Eurocentric. sent7: there is something such that it reloads and it is not a cocker. sent8: something is not Eurocentric and it is not a kind of a cocker. sent9: something does not reload. sent10: the tolu does not reload if the Jacobean does ruminate. sent11: the tolu is both bolographic and not athletic. sent12: the tolu does not reload if the Jacobean is heterodactyl. sent13: something does not reload and is not heterodactyl. sent14: if the Jacobean does not prime then that the episcopate does not sonnet trichloroethylene but it ruminates is not true. sent15: there exists something such that it is not a kind of a cocker. sent16: the Jacobean does not reload if that it is heterodactyl and is Eurocentric is right. sent17: something does not reload if that it does not sonnet trichloroethylene and ruminates does not hold. sent18: the Jacobean does not reload if it is heterodactyl and non-Eurocentric. sent19: the tolu is not a stock-in-trade. sent20: that the Jacobean is not a kind of a grandson is right. sent21: if the Jacobean is a kind of a cocker and does not reload then it does not ruminate. sent22: the Jacobean is heterodactyl thing that is not Eurocentric. sent23: the trichloroethylene is tense thing that is not a cocker. ; $proof$ = 
sent18 & sent22 -> int1: the Jacobean does not reload.; sent5 & sent2 -> int2: the Jacobean is not a cocker.; int1 & int2 -> int3: the Jacobean does not reload and it is not a cocker.; int3 -> hypothesis; __DISPROVED__