Rule‐Based Reasoning with Diagrams