P @ Q → P is the wife of Q ...(1)
Q $ T → Q is the brother of T ...(2)
T # U → T is the daughter of U
Hence, → Q is the son of U ...(3)
U * W → U is the father of W.
From (1) and (3), U is the father-in-law of P.