If a person is not hungry, the person is unhappy.
If a person is hungry, the person is uncomfortable. If a person is uncomfortable, the person is unhappy.
∀x (Hungry(x) → Uncomfortable(x)) ∀x (Uncomfortable(x) → ¬Happy(x))