Inference rule

1. REDIRECT Rule of inference

{{Rcatsh|

{{R mod}}

{{R merge}}

}}