“…The growing interest in formal analyses and computational applications of Aristotelian diagrams [1,2,3,4,6,8,9] encourages the development of new methods for their use in assisted reasoning. If compared to full-fledged logical systems, Aristotelian diagrams trade expressiveness for transparency: the inferences performed over these diagrams (i) are simple and limited, (ii) can be automated via algorithms whose computational complexity is low, (iii) are sufficient to address relevant reasoning problems from everyday life, and (iv) are traceable by individuals without a background in formal logic.…”