At least two birds were flying
Some bird is such that (it was flying and some bird other than it was also flying)
(∃x: Bx) (Fx ∧ some bird other than x was flying)
(∃x: Bx) (Fx ∧ (∃y: By ∧ ¬ y = x) Fy)
or
(∃x: Bx) (∃y: By ∧ ¬ y = x) (Fx ∧ Fy)
or
(∃x: Bx) (∃y: By) (¬ y = x ∧ (Fx ∧ Fy))
or
∃x ∃y (¬ y = x ∧ (Bx ∧ By) ∧ (Fx ∧ Fy))