Text: Sustained flight permissible if vampire takes the form of a bat, owl, or other authentic nocturnal species.
Entailment: A vampire can fly if it turns into a bat, owl or other nocturnal animal.
Contradiction: Vampires can never fly, as they do not exist.