If there is someone X and it is not provable that X is a criminal then X is trustworthy. Every thief is a criminal. John is a criminal. Bill is a thief. Mary is rich.