Rule-Based Inference Protocol Design | Rule-Based Inference | Mathematics | NEROS