∃x (LateNightPerson(x) ∧ EarlyMorningPerson(x))
∀x (EarlyMorningPerson(x) → Have(x, earlyMorningHabit))
∀x (Have(x, earlyMorningHabit) → GetUpEarly(x))
∀x (GetUpEarly(x) → CatchTheSunrise(x))
¬CatchTheSunrise(james)
LateNightPerson(james) ∧ EarlyMorningPerson(james)