Designing Inference Rules for Spider Diagrams