Entailment, Contradiction, and Christian Theism