SMS: Logical reasoning with diagrams