∃x (InBenjiSFamily(x) → (LikeEating(x, cheese) ∨ Francophile(x)))
∀x ((InBenjiSFamily(x) ∧ Francophile(x)) → ¬Favor(x, spain))
∃x (InBenjiSFamily(x) ∧ (Favor(x, spain) ∨ LikeEating(x, cheese)))
InBenjiSFamily(fabien) ∧ (¬(LikeEating(fabien, cheese) ∧ Study(fabien, spanish)))
Study(fabien, spanish)
(LikeEating(fabien, cheese) ⊕ Francophile(fabien)) → (¬(Study(fabien, spanish) ∨ Francophile(fabien)))