CSL-lean: A theorem-Prover for the logic of Comparative Concept Similarity