Find!
x1 is happy about x2, which is bad for x3 by standard x4, the sufferer differing from the enjoyer by standard x5.
See also cadnfroide.