If John repays his loans on time, he will be approved for a mortgage.
All people who repay their loans on time have a high credit score. Some people with high credit scores and high salaries are approved for mortgages. John has a high salary.
∀x (Repay(x) → HighCreditScore(x)) ∃x ((HighCreditScore(x) ∧ HighSalary(x)) → Mortgage(x)) HighSalary(john)