the orogeny does hash spa.
sent1: the homeowner does oppose Lhotse. sent2: the fact that the overhang is both not a calamity and analytic does not hold if it is not sensational. sent3: the overhang is not sensational. sent4: something is not metamorphous and is not periodontic if it is a calamity. sent5: if the homeowner opposes Lhotse it is not a calamity and it does not accord cheerlessness. sent6: the orogeny is a bruise. sent7: if something is metamorphous then it hashes spa. sent8: if that the fact that the overhang is not a calamity but it is analytic is not false is not correct it is not analytic. sent9: something bruises if it is not non-analytic. sent10: a non-metamorphous thing does not hash spa. sent11: if the overhang does not hash spa and bruises then the orogeny does not hash spa. sent12: if the homeowner is not a calamity and it does not accord cheerlessness the overhang is a calamity. sent13: if the orogeny is a bruise it is metamorphous. sent14: the accuser is a painting. sent15: the orogeny is a kind of a Coptic. sent16: if the accuser is a painting it does back. sent17: the antihypertensive hashes spa if it is a persuader. sent18: if something is not analytic that it is periodontic and it is not metamorphous does not hold.
sent13 & sent6 -> int1: the orogeny is metamorphous.; sent7 -> int2: the orogeny hashes spa if it is metamorphous.; int1 & int2 -> hypothesis;
the ejaculator does hash spa.
sent18 -> int3: that the overhang is both periodontic and not metamorphous does not hold if it is not analytic.; sent2 & sent3 -> int4: that the overhang is not a kind of a calamity and is analytic does not hold.; sent8 & int4 -> int5: the overhang is not analytic.; int3 & int5 -> int6: the fact that the overhang is periodontic and not metamorphous does not hold.;
$hypothesis$ = the orogeny does hash spa. ; $context$ = sent1: the homeowner does oppose Lhotse. sent2: the fact that the overhang is both not a calamity and analytic does not hold if it is not sensational. sent3: the overhang is not sensational. sent4: something is not metamorphous and is not periodontic if it is a calamity. sent5: if the homeowner opposes Lhotse it is not a calamity and it does not accord cheerlessness. sent6: the orogeny is a bruise. sent7: if something is metamorphous then it hashes spa. sent8: if that the fact that the overhang is not a calamity but it is analytic is not false is not correct it is not analytic. sent9: something bruises if it is not non-analytic. sent10: a non-metamorphous thing does not hash spa. sent11: if the overhang does not hash spa and bruises then the orogeny does not hash spa. sent12: if the homeowner is not a calamity and it does not accord cheerlessness the overhang is a calamity. sent13: if the orogeny is a bruise it is metamorphous. sent14: the accuser is a painting. sent15: the orogeny is a kind of a Coptic. sent16: if the accuser is a painting it does back. sent17: the antihypertensive hashes spa if it is a persuader. sent18: if something is not analytic that it is periodontic and it is not metamorphous does not hold. ; $proof$ = 
sent13 & sent6 -> int1: the orogeny is metamorphous.; sent7 -> int2: the orogeny hashes spa if it is metamorphous.; int1 & int2 -> hypothesis; __PROVED__