Jill is a kid.
No faculty does homework. All students do homework. All kids are students. If someone works at a school, then they are faculty. If Jill works at a school or is a teacher, then Jill works at a school.
∀x (Faculty(x) → ¬DoesHomework(x)) ∀x (Student(x) → DoesHomework(x)) ∀x (Kid(x) → Student(x)) ∀x (WorkAtSchool(x) → Faculty(x)) WorkAtSchool(jill) ∨ DoesHomework(jill) → WorkAtSchool(jill)