the outerwear is a scolopendrium.
sent1: if the famulus is parabolic the fact that the outerwear is a scolopendrium hold. sent2: the orthicon does chock RH if the godfather does finedraw godfather. sent3: the godfather does finedraw godfather and/or it is a contester. sent4: something that is non-parabolic is not a scolopendrium. sent5: the famulus is not non-parabolic if there is something such that that it is not microbial is not incorrect. sent6: the famulus is parabolic if there is something such that that it is microbial and it is bicameral does not hold. sent7: there is something such that that it is microbial and is bicameral is incorrect. sent8: the famulus is naval and/or does chock RH if there is something such that it chock RH. sent9: there exists something such that it is a kind of microbial thing that is bicameral. sent10: the famulus is not bibliothecal. sent11: if the fact that the famulus is both a penology and a cleric hold then the outerwear is non-parabolic. sent12: if the famulus is not a derv then it is a penology and it is bridgeable. sent13: if there exists something such that that it is a kind of a cleric that does chock naphazoline is not correct then the photojournalism is microbial. sent14: if something is parabolic then it is bicameral. sent15: that the orthicon chocks RH if that the godfather is a contester is true is true. sent16: if something is non-bibliothecal then it is not a derv.
sent7 & sent6 -> int1: the famulus is not non-parabolic.; sent1 & int1 -> hypothesis;
the outerwear is not a kind of a scolopendrium.
sent4 -> int2: if the outerwear is not parabolic then it is not a scolopendrium.; sent16 -> int3: if the famulus is not bibliothecal then it is not a derv.; int3 & sent10 -> int4: the famulus is not a derv.; sent12 & int4 -> int5: the famulus is a penology and is bridgeable.; int5 -> int6: the famulus is a kind of a penology.; sent3 & sent2 & sent15 -> int7: the orthicon does chock RH.; int7 -> int8: there is something such that it does chock RH.; int8 & sent8 -> int9: the famulus is naval and/or it does chock RH.;
$hypothesis$ = the outerwear is a scolopendrium. ; $context$ = sent1: if the famulus is parabolic the fact that the outerwear is a scolopendrium hold. sent2: the orthicon does chock RH if the godfather does finedraw godfather. sent3: the godfather does finedraw godfather and/or it is a contester. sent4: something that is non-parabolic is not a scolopendrium. sent5: the famulus is not non-parabolic if there is something such that that it is not microbial is not incorrect. sent6: the famulus is parabolic if there is something such that that it is microbial and it is bicameral does not hold. sent7: there is something such that that it is microbial and is bicameral is incorrect. sent8: the famulus is naval and/or does chock RH if there is something such that it chock RH. sent9: there exists something such that it is a kind of microbial thing that is bicameral. sent10: the famulus is not bibliothecal. sent11: if the fact that the famulus is both a penology and a cleric hold then the outerwear is non-parabolic. sent12: if the famulus is not a derv then it is a penology and it is bridgeable. sent13: if there exists something such that that it is a kind of a cleric that does chock naphazoline is not correct then the photojournalism is microbial. sent14: if something is parabolic then it is bicameral. sent15: that the orthicon chocks RH if that the godfather is a contester is true is true. sent16: if something is non-bibliothecal then it is not a derv. ; $proof$ = 
sent7 & sent6 -> int1: the famulus is not non-parabolic.; sent1 & int1 -> hypothesis; __PROVED__