Ok so using your definition they is not happy. But thats just because how you define happiness.

If you define happiness = a result of making others happy. What is your definition of happy?