FALCON: Faithful Neural Semantic Entailment over ALC Ontologies