Okay I work this out! Premise 1: rex claims to be winner Premise 2: Xan also claims to be winner Premise 3: All of rex's and Xan's claims are always true Premise 4: There can only be one winner Conclusion: rex and Xan are one person Thread can now be locked. We found winner!