Axioma | Regla | Profundidad |
F+F+F+F | FF+F+F+F+F+F-F | 4 |
F+F+F+F | FF+F+F+F+FF | 4 |
F+F+F+F | FF+F-F+F+FF | 4 |
F+F+F+F | FF+F++F+F | 5 |
F+F+F+F | F+FF++F+F | 5 |
F+F+F+F | F+F-F+F+F | 5 |
+F |
F-F+F+F-F | 4 |
F+F+F+F | F+F-F-FF+F+F-F | 2 |
F+F+F+F | F-FF+FF+F+F-F-FF+F+F-F-FF-FF+F | 2 |