the kainite does not immortalize Whitehorse.
sent1: something is a kind of a Pinatubo if the fact that it is not graceful and is not a Pinatubo is incorrect. sent2: if the glucoside does immortalize Whitehorse and does not pelt then the kainite does not immortalize Whitehorse. sent3: the fact that the Junkers is not graceful and it is not a Pinatubo is not right. sent4: if the Junkers is a Pinatubo and it does right the glucoside does not immortalize Ernst. sent5: the kainite is abbatial. sent6: the crystal is not perceptual if there is something such that the fact that it is streptococcal and it does checkmate Gagarin is incorrect. sent7: there is something such that it is a kind of a halcyon that is abbatial. sent8: if the parhelion does not pelt and it is not celebratory then the glucoside does not pelt. sent9: the fact that the Junkers is a kind of a right that is the Scaridae if the Junkers is not shallow-draft hold. sent10: something is centesimal if it does not checkmate lingonberry and is not oviparous. sent11: if the ramie immortalizes parsimony the parhelion does not pelt and is not celebratory. sent12: the kainite is non-streptococcal if there is something such that that it is a halcyon and abbatial is not true. sent13: everything does not immortalize Ernst. sent14: if something does not immortalize Ernst and it does not pelt it is right. sent15: the zebra is not a Osasco and is not a kind of a pigment if it does not pelt. sent16: if something does right then it is a Pinatubo. sent17: the impressionist does pelt if something does not immortalize Ernst and is right. sent18: there exists something such that the fact that it is a halcyon and it is abbatial is not correct. sent19: the mobile is a Gymnocladus. sent20: the nine-spot is not a onomatopoeia and it is non-streptococcal. sent21: the Junkers is not shallow-draft. sent22: the fact that if something is a Gymnocladus then that it does not immortalize parsimony and it does strangulate does not hold is not wrong. sent23: if something is a Pinatubo then it does immortalize Whitehorse. sent24: something does not immortalize Ernst and does not pelt if it is not streptococcal.
sent18 & sent12 -> int1: the kainite is not streptococcal.; sent24 -> int2: that the kainite does not immortalize Ernst and does not pelt hold if it is not streptococcal.; int1 & int2 -> int3: the kainite does not immortalize Ernst and it does not pelt.; sent14 -> int4: the fact that the kainite is a right is not incorrect if it does not immortalize Ernst and it does not pelt.; int3 & int4 -> int5: the kainite is not non-right.; sent16 -> int6: the kainite is a Pinatubo if the fact that it is a kind of a right is not false.; int5 & int6 -> int7: the kainite is a Pinatubo.; sent23 -> int8: if the kainite is a Pinatubo then it does immortalize Whitehorse.; int7 & int8 -> hypothesis;
the kainite does not immortalize Whitehorse.
sent13 -> int9: the glucoside does not immortalize Ernst.;
$hypothesis$ = the kainite does not immortalize Whitehorse. ; $context$ = sent1: something is a kind of a Pinatubo if the fact that it is not graceful and is not a Pinatubo is incorrect. sent2: if the glucoside does immortalize Whitehorse and does not pelt then the kainite does not immortalize Whitehorse. sent3: the fact that the Junkers is not graceful and it is not a Pinatubo is not right. sent4: if the Junkers is a Pinatubo and it does right the glucoside does not immortalize Ernst. sent5: the kainite is abbatial. sent6: the crystal is not perceptual if there is something such that the fact that it is streptococcal and it does checkmate Gagarin is incorrect. sent7: there is something such that it is a kind of a halcyon that is abbatial. sent8: if the parhelion does not pelt and it is not celebratory then the glucoside does not pelt. sent9: the fact that the Junkers is a kind of a right that is the Scaridae if the Junkers is not shallow-draft hold. sent10: something is centesimal if it does not checkmate lingonberry and is not oviparous. sent11: if the ramie immortalizes parsimony the parhelion does not pelt and is not celebratory. sent12: the kainite is non-streptococcal if there is something such that that it is a halcyon and abbatial is not true. sent13: everything does not immortalize Ernst. sent14: if something does not immortalize Ernst and it does not pelt it is right. sent15: the zebra is not a Osasco and is not a kind of a pigment if it does not pelt. sent16: if something does right then it is a Pinatubo. sent17: the impressionist does pelt if something does not immortalize Ernst and is right. sent18: there exists something such that the fact that it is a halcyon and it is abbatial is not correct. sent19: the mobile is a Gymnocladus. sent20: the nine-spot is not a onomatopoeia and it is non-streptococcal. sent21: the Junkers is not shallow-draft. sent22: the fact that if something is a Gymnocladus then that it does not immortalize parsimony and it does strangulate does not hold is not wrong. sent23: if something is a Pinatubo then it does immortalize Whitehorse. sent24: something does not immortalize Ernst and does not pelt if it is not streptococcal. ; $proof$ = 
sent18 & sent12 -> int1: the kainite is not streptococcal.; sent24 -> int2: that the kainite does not immortalize Ernst and does not pelt hold if it is not streptococcal.; int1 & int2 -> int3: the kainite does not immortalize Ernst and it does not pelt.; sent14 -> int4: the fact that the kainite is a right is not incorrect if it does not immortalize Ernst and it does not pelt.; int3 & int4 -> int5: the kainite is not non-right.; sent16 -> int6: the kainite is a Pinatubo if the fact that it is a kind of a right is not false.; int5 & int6 -> int7: the kainite is a Pinatubo.; sent23 -> int8: if the kainite is a Pinatubo then it does immortalize Whitehorse.; int7 & int8 -> hypothesis; __DISPROVED__