Email Post: A Logical–Computational Framework for Discovering Three-Player Games with Unique Pure Nash Equilibrium Payoffs