∀x (Human(x) ∧ CanTurnInto(x, wolf) → Werewolf(x))
∀x ∃y (Werewolf(x) → (BittenBy(x, y) ∨ ScratchedBy(x, y)) ∧ Werewolf(y))
∀x ∃y (BittenBy(x, y) ∨ ScratchedBy(x, y)) → AttackedBy(x,y)
∀x (Werewolf(x) → Wolf(x))