If Robin's friends practice coding questions, then they are not studying to go to medical school to become a doctor.
∀x (RobinsFriends(x) ∧ Practice(x, codingQuestion) → ¬StudyingToGoToToBecome(x, medicalSchool, doctor))