发送短信: Logical reasoning with diagrams