the crake is non-Spartan and is a splice.
sent1: the rambutan is a Spartan. sent2: that if the fact that something is a kind of non-biosystematic thing that is not a inchworm does not hold then it is not unpopular is true. sent3: if the eyespot fudges Spaniard that it is non-biosystematic thing that is not a kind of a inchworm does not hold. sent4: the Bole splices. sent5: there exists something such that it is Spartan. sent6: the rambutan is a kind of Zolaesque a Rubinstein if the eyespot is not unpopular. sent7: the rambutan is pure and is a splice if there is something such that it is a financier. sent8: the eyespot is mortal. sent9: if something is Spartan then the rambutan is pure. sent10: there exists something such that it is pure. sent11: the rambutan is pure. sent12: there is something such that it is a kind of an adhesive. sent13: the fact that something is not pure but it does financier is false if it is a Rubinstein. sent14: something does financier. sent15: the quern is a bundle. sent16: the rambutan is pure if there exists something such that it does financier. sent17: if the fact that something is not pure but a financier does not hold it is not a financier. sent18: the crake is not a Spartan but a splice if the rambutan does splice. sent19: if the eyespot is mortal it does fudge Spaniard. sent20: the crake splices if there is something such that the fact that it is a Spartan is true.
sent14 & sent7 -> int1: the rambutan is pure and it is a kind of a splice.; int1 -> int2: the rambutan does splice.; sent18 & int2 -> hypothesis;
the quern is a bundle and it is pure.
$hypothesis$ = the crake is non-Spartan and is a splice. ; $context$ = sent1: the rambutan is a Spartan. sent2: that if the fact that something is a kind of non-biosystematic thing that is not a inchworm does not hold then it is not unpopular is true. sent3: if the eyespot fudges Spaniard that it is non-biosystematic thing that is not a kind of a inchworm does not hold. sent4: the Bole splices. sent5: there exists something such that it is Spartan. sent6: the rambutan is a kind of Zolaesque a Rubinstein if the eyespot is not unpopular. sent7: the rambutan is pure and is a splice if there is something such that it is a financier. sent8: the eyespot is mortal. sent9: if something is Spartan then the rambutan is pure. sent10: there exists something such that it is pure. sent11: the rambutan is pure. sent12: there is something such that it is a kind of an adhesive. sent13: the fact that something is not pure but it does financier is false if it is a Rubinstein. sent14: something does financier. sent15: the quern is a bundle. sent16: the rambutan is pure if there exists something such that it does financier. sent17: if the fact that something is not pure but a financier does not hold it is not a financier. sent18: the crake is not a Spartan but a splice if the rambutan does splice. sent19: if the eyespot is mortal it does fudge Spaniard. sent20: the crake splices if there is something such that the fact that it is a Spartan is true. ; $proof$ = 
sent14 & sent7 -> int1: the rambutan is pure and it is a kind of a splice.; int1 -> int2: the rambutan does splice.; sent18 & int2 -> hypothesis; __PROVED__