the alkane is not impenetrable but it is leptorrhine.
sent1: something is mercuric if the fact that it is not mercuric and it is a kind of a Ursidae is false. sent2: there exists something such that the fact that it is not mercuric hold. sent3: something is a Telosporidia if it is mercuric and/or is not leptorrhine. sent4: the alkane is leptorrhine and it is impenetrable if something is not a kind of a Ursidae. sent5: something is not lidded and it is ineligible if it is not a kind of a flavone. sent6: something is a Ursidae or is not leptorrhine or both. sent7: if there is something such that the fact that it is not a Ursidae hold the alkane is not leptorrhine. sent8: the cave does direct percept and/or it is a kind of a symphilid. sent9: there exists something such that it does not brooch musk. sent10: the fact that the alkane is a clavicle hold. sent11: the newmarket is mercuric and/or is not leptorrhine. sent12: there exists something such that it is not impenetrable. sent13: if something is not mercuric then the Taoist is seedy. sent14: something is not a kind of a felt if that it is not a felt and/or it is a kind of a Ursidae is correct. sent15: the Swede is a symphilid if the cave directs percept. sent16: the masdevallia is calligraphic if the Swede is a symphilid. sent17: if something that is calligraphic is lidless then the elapid is mercuric. sent18: there exists something such that it is either calligraphic or not lidless or both. sent19: that something is not impenetrable and is leptorrhine does not hold if it is mercuric. sent20: the fact that the masdevallia is not a flavone hold. sent21: the alkane is not impenetrable if there exists something such that the fact that it is calligraphic and/or it is not lidless is true. sent22: the alkane is a Ursidae and it is leptorrhine if there exists something such that the fact that it is not mercuric is not false.
sent2 & sent22 -> int1: the alkane is a Ursidae and leptorrhine.; int1 -> int2: the alkane is leptorrhine.; sent18 & sent21 -> int3: the alkane is not impenetrable.; int2 & int3 -> hypothesis;
the newmarket is not a kind of a felt but it is a Telosporidia.
sent3 -> int4: if the newmarket is mercuric and/or not leptorrhine then that it is a kind of a Telosporidia hold.; int4 & sent11 -> int5: the newmarket is a kind of a Telosporidia.; sent14 -> int6: if either the newmarket does not feel or it is a kind of a Ursidae or both it does not feel.;
$hypothesis$ = the alkane is not impenetrable but it is leptorrhine. ; $context$ = sent1: something is mercuric if the fact that it is not mercuric and it is a kind of a Ursidae is false. sent2: there exists something such that the fact that it is not mercuric hold. sent3: something is a Telosporidia if it is mercuric and/or is not leptorrhine. sent4: the alkane is leptorrhine and it is impenetrable if something is not a kind of a Ursidae. sent5: something is not lidded and it is ineligible if it is not a kind of a flavone. sent6: something is a Ursidae or is not leptorrhine or both. sent7: if there is something such that the fact that it is not a Ursidae hold the alkane is not leptorrhine. sent8: the cave does direct percept and/or it is a kind of a symphilid. sent9: there exists something such that it does not brooch musk. sent10: the fact that the alkane is a clavicle hold. sent11: the newmarket is mercuric and/or is not leptorrhine. sent12: there exists something such that it is not impenetrable. sent13: if something is not mercuric then the Taoist is seedy. sent14: something is not a kind of a felt if that it is not a felt and/or it is a kind of a Ursidae is correct. sent15: the Swede is a symphilid if the cave directs percept. sent16: the masdevallia is calligraphic if the Swede is a symphilid. sent17: if something that is calligraphic is lidless then the elapid is mercuric. sent18: there exists something such that it is either calligraphic or not lidless or both. sent19: that something is not impenetrable and is leptorrhine does not hold if it is mercuric. sent20: the fact that the masdevallia is not a flavone hold. sent21: the alkane is not impenetrable if there exists something such that the fact that it is calligraphic and/or it is not lidless is true. sent22: the alkane is a Ursidae and it is leptorrhine if there exists something such that the fact that it is not mercuric is not false. ; $proof$ = 
sent2 & sent22 -> int1: the alkane is a Ursidae and leptorrhine.; int1 -> int2: the alkane is leptorrhine.; sent18 & sent21 -> int3: the alkane is not impenetrable.; int2 & int3 -> hypothesis; __PROVED__