Deductive Inference for the Interiors and Exteriors of Horn Theories