Table 5. Simplified version of the theorem representing the regulatory loop.

Theorem

TP53& TP53& MDM2& U& P ⊢ d(TP53)

Demonstration

1. TP53 & MDM2 → TP53*MDM2

2. TP53 * MDM2 → MDM2

3. MDM2 & TP53 → MDM2*TP53

4. (MDM2 *TP53) & U → (MDM2*TP53) *U

5. (MDM2*TP53) *U → MDM2 & (TP53*U)

6. (TP53*U) & P → (TP53*U) *P

7. (TP53*U) *P → d(TP53) & U & P