if the footwall is a Chelifer the rings is a town.
sent1: if the rings is a kind of keyed thing that does not medicate footwall then the ortygan is a town. sent2: something is hormonal. sent3: the ortygan is not keyless. sent4: the campus does not shallow if there exists something such that it is hormonal and it is a Chelifer. sent5: the footwall does medicate footwall and it is a kind of a Chelifer. sent6: the footwall is not a Chelifer if there exists something such that it is a town and it medicates footwall. sent7: the campus is not hormonal. sent8: if the footwall is a Chelifer the rings is hormonal. sent9: the rings medicates footwall if the footwall is both not a Chelifer and not a town. sent10: if a shallow thing is hormonal the campus is not a Chelifer. sent11: the ortygan is not keyless and does not medicate footwall. sent12: there is something such that it is a kind of a Chelifer. sent13: the rings is a town if the campus is not shallow. sent14: the footwall is hormonal if the ortygan is keyless but it does not medicate footwall. sent15: if there is something such that it is shallow thing that is hormonal the ortygan does not medicate footwall. sent16: the rings is hormonal if the footwall is a town.
$hypothesis$ = if the footwall is a Chelifer the rings is a town. ; $context$ = sent1: if the rings is a kind of keyed thing that does not medicate footwall then the ortygan is a town. sent2: something is hormonal. sent3: the ortygan is not keyless. sent4: the campus does not shallow if there exists something such that it is hormonal and it is a Chelifer. sent5: the footwall does medicate footwall and it is a kind of a Chelifer. sent6: the footwall is not a Chelifer if there exists something such that it is a town and it medicates footwall. sent7: the campus is not hormonal. sent8: if the footwall is a Chelifer the rings is hormonal. sent9: the rings medicates footwall if the footwall is both not a Chelifer and not a town. sent10: if a shallow thing is hormonal the campus is not a Chelifer. sent11: the ortygan is not keyless and does not medicate footwall. sent12: there is something such that it is a kind of a Chelifer. sent13: the rings is a town if the campus is not shallow. sent14: the footwall is hormonal if the ortygan is keyless but it does not medicate footwall. sent15: if there is something such that it is shallow thing that is hormonal the ortygan does not medicate footwall. sent16: the rings is hormonal if the footwall is a town. ; $proof$ = 
__UNKNOWN__