Logical Inquiry: Demonstrating Inference Rules