Tom wants to study abroad.
To get a student visa, you must be full-time enrolled in an academic program. Those who are full-time enrolled in an academic program can not work full-time. Everyone who wants to study abroad needs to have a student visa. All PhD graduates can work full time.  If Tom does not want to study abroad, he is full-time enrolled in an educational program.
∀x (StudentVisa(x) → FullTimeAcademic(x)) ∀x (FullTimeAcademic(x) → ¬WorkFullTime(x)) ∀x (StudyAbroad(x) → StudentVisa(x)) ∀x (PhdGraduate(x) → WorkFullTime(x)) ¬StudyAbroad(tom) → FullTimeAcademic(tom)