If there is someone X and it is not provable that X is a criminal then X is trustworthy. If someone X is trustworthy then X is a customer. Every thief is a criminal. Every shoplifter is a teenager. Every shoplifter is a thief. John is a shoplifter. John is not a teenager.