If Leif is not both good at math and in business analysis, then he is neither working in this company nor working in software engineering.
¬(GoodAt(leif, math) ∧ WorkIn(leif, businessAnalysis)) → (¬WorkFor(x, thisCompany) ∧ ¬WorkIn(x, softwareEngineering))