Nobody is a butcher. No man is a butcher. Everyone is either a male or a female, but not both. All female vegetarians are butchers. Only female vegetarians are butchers.
All butchers are female vegatarians.
No woman likes a butcher who is male. If the unicorn is mythical, then it is immortal, but if it is not mythical, then it is a mortal mammal. If the unicorn is either immortal or a mammal, then it is horned. The unicorn is magical if it is horned. Convert it into conjunctive normal form.