different(alice, bob).
different(ticket(alice), ticket(bob)).