Table 7. Simplified version of the theorem representing the feed forward loop.

Theorem

A & A & B & C & RA& RA& RB ⊢ C

Demonstration

1. A & RA → A*RA

2. A * RA → A

3. A & RB → A*RB

4. (A*RB) & B → A*RB*B

5. (A*RB) *B → B

6. A & RA → A*RA

7. A*RA → A

8. A & B → A*B

9. (A*B) & C → (A*B) *C

10. (A*B) *C → C