A bird is kinetic and changing.
Everything is either big or small. All big things are heavy.  All small things are light.  All heavy things are still. All light things are unstable. All unstable things are changing. All unstable things are kinetic.  A bird is not both heavy and still.
∀x (Big(x) ⊕ Small(x)) ∀x (Big(x) → Heavy(x)) ∀x (Small(x) → Light(x)) ∀x (Heavy(x) → Still(x)) ∀x (Light(x) → Unstable(x)) ∀x (Unstable(x) → Changing(x)) ∀x (Unstable(x) → Kinetic(x)) ¬(Heavy(bird) ∧ Still(bird))