Rule of Simplification/Explanation

Proof Rule
The rule of simplification consists of two proof rules in one.

The first of the two can be expressed in natural language as:
 * Given a conjunction, we may infer the first of the conjuncts.

The second of the two can be expressed in natural language as:
 * Given a conjunction, we may infer the second of the conjuncts.