the staff is eruptive.
sent1: if a Guinean is a Briton the staff is eruptive. sent2: the woodhewer is not a Siphonaptera if there exists something such that it does not sensitize theremin. sent3: if there exists something such that the fact that it is not eruptive is correct then the staff does not contribute curmudgeon. sent4: if the staff is not Briton then the fact that the gizzard is a kind of a polynomial and it is a Guinean does not hold. sent5: there is something such that it is not eruptive. sent6: if the fact that something does contribute curmudgeon and does not elegize is right then it is a Briton. sent7: the staff does film. sent8: there is something such that that it is stellar hold. sent9: the staff is not eruptive if that the gizzard is not eruptive is false. sent10: the gizzard does sensitize cosmetologist if it is a Guinean and it sensitizes Whig. sent11: the gizzard does contribute curmudgeon and does not elegize if something is not a film. sent12: the timber contributes curmudgeon. sent13: the gizzard does contribute curmudgeon if it is rentable and it is not insolvent. sent14: something does not snowshoe. sent15: the gizzard is Guinean but not a polynomial if something does not snowshoe. sent16: something that is not a snowshoe is alpine and does not bespangle colophony. sent17: there is something such that it is not a film.
sent14 & sent15 -> int1: that the gizzard is Guinean and is not a kind of a polynomial hold.; int1 -> int2: the gizzard is a Guinean.; sent6 -> int3: the gizzard is a Briton if it contributes curmudgeon and it does not elegize.; sent17 & sent11 -> int4: the gizzard contributes curmudgeon and does not elegize.; int3 & int4 -> int5: the gizzard is Briton.; int2 & int5 -> int6: the gizzard is Guinean and a Briton.; int6 -> int7: there exists something such that it is a kind of Guinean thing that is a kind of a Briton.; int7 & sent1 -> hypothesis;
the brine is alpine thing that does not bespangle colophony.
sent16 -> int8: if the brine is not a kind of a snowshoe then it is alpine and does not bespangle colophony.;
$hypothesis$ = the staff is eruptive. ; $context$ = sent1: if a Guinean is a Briton the staff is eruptive. sent2: the woodhewer is not a Siphonaptera if there exists something such that it does not sensitize theremin. sent3: if there exists something such that the fact that it is not eruptive is correct then the staff does not contribute curmudgeon. sent4: if the staff is not Briton then the fact that the gizzard is a kind of a polynomial and it is a Guinean does not hold. sent5: there is something such that it is not eruptive. sent6: if the fact that something does contribute curmudgeon and does not elegize is right then it is a Briton. sent7: the staff does film. sent8: there is something such that that it is stellar hold. sent9: the staff is not eruptive if that the gizzard is not eruptive is false. sent10: the gizzard does sensitize cosmetologist if it is a Guinean and it sensitizes Whig. sent11: the gizzard does contribute curmudgeon and does not elegize if something is not a film. sent12: the timber contributes curmudgeon. sent13: the gizzard does contribute curmudgeon if it is rentable and it is not insolvent. sent14: something does not snowshoe. sent15: the gizzard is Guinean but not a polynomial if something does not snowshoe. sent16: something that is not a snowshoe is alpine and does not bespangle colophony. sent17: there is something such that it is not a film. ; $proof$ = 
sent14 & sent15 -> int1: that the gizzard is Guinean and is not a kind of a polynomial hold.; int1 -> int2: the gizzard is a Guinean.; sent6 -> int3: the gizzard is a Briton if it contributes curmudgeon and it does not elegize.; sent17 & sent11 -> int4: the gizzard contributes curmudgeon and does not elegize.; int3 & int4 -> int5: the gizzard is Briton.; int2 & int5 -> int6: the gizzard is Guinean and a Briton.; int6 -> int7: there exists something such that it is a kind of Guinean thing that is a kind of a Briton.; int7 & sent1 -> hypothesis; __PROVED__