∀x (Empolyee(x) ∧ ManagedBy(x, peter) → Engineer(x) ∨ Scientist(x))
∀x (Empolyee(x) ∧ ManagedBy(x, peter) ∧ Engineer(x) → HardWorking(x))
∀x (Empolyee(x) ∧ ManagedBy(x, peter) ∧ Scientist(x) → WellCompensated(x))
∀x (Empolyee(x) ∧ ManagedBy(x, peter) ∧ WellCompensated(x) → ¬WorkRemotely(x))
∀x (Empolyee(x) ∧ ManagedBy(x, peter) ∧ RefuseToWorkInPerson(x) → WorkRemotely(x))
Empolyee(pan) ∧ ManagedBy(pan, peter) ∧ (¬(WorkRemotely(pan) ∧ WellCompensated(pan)) → WorkRemotely(pan))
¬RefuseToWorkInPerson(pan) ∧ ¬HardWorking(pan)