∀x ((Student(x) ∧ RegisteredFor(x, conference)) → InvitedToAttend(x, conference))
∀x ((Student(x) ∧ AttendInPerson(x, conference)) → RegisteredFor(x, conference))
∀x (Student(x) → (AttendInPerson(x, conference) ⊕ AttendRemotely(x, conference)))
∀x (Student(x) ∧ In(x, china) → (¬AttendRemotely(x, theConference)))
Student(james) ∧ (¬AttendRemotely(james, conference) ∧ ¬PresentedAt(james, conference))
Student(jack) ∧ (In(jack, china) ⊕ RegisteredFor(jack, conference))
InvitedToAttend(jack, conference) ∨ PresentedAt(jack, conference)