Premise: The devil!

Hypothesis: Lucifer!
Relation: entailment