If Fabien is either a person who likes eating cheese or a francophile, then Fabien is neither a person who studies Spanish nor a person who is a francophile.
(LikeEating(fabien, cheese) ⊕ Francophile(fabien)) → (¬(Study(fabien, spanish) ∨ Francophile(fabien)))