∀x (Chef(x) → Can(x, cook))
∃x (¬Chef(x) ∧ Can(x, cook))
∀x (Can(x, cook) → (CanMake(x, scrambledEggs) ∧ CanMake(x, pasta)))
∀x (CanMake(x, cookies) ∧ CanMake(x, muffins) → Baker(x))
∀x ((Baker(x) ∧ CanMake(x, scrambledEggs)) → CanMake(x, goodBreakfast))
CanMake(luke, cookies) ∧ (CanMake(luke, scrambledEggs) ∧ CanMake(luke, muffins) ∧ ¬CanMake(luke, pasta)
CanMake(luke, goodBreakfast)