John is a customer. Mary is a criminal. Bill is a thief. If someone X is not a criminal then X is trustworthy. Every thief is a criminal.