Five people, four of them in white, are jumping in the air with joyous looks, somewhere in a major city.
At least four of the people are happy.
if they have joyous looks, it follows that they are happy
(-x)
(-x)