What is the process of capturing inference process as a single inference rule?

• A. Ponens
• B. Clauses
• C. Generalized Modus Ponens
• D. Variables