Entailment Semantics Can Be Extracted from an Ideal Language Model