T1 + alpha -> alpha_T1
alpha_T1 -> T1 + alpha
alpha_T1_alpha -> alpha + alpha_T1
alpha + alpha_T1 -> alpha_T1_alpha
T1_alpha -> T1 + alpha
T1 + alpha -> T1_alpha
alpha_T1_alpha -> T1_alpha + alpha
T1_alpha + alpha -> alpha_T1_alpha
alpha_T1 -> alpha_alpha_T1
alpha_T1_alpha -> alpha + alpha_alpha_T1
alpha_alpha_T1 -> alpha_T1_alpha
T2 + alpha -> alpha_T2
alpha_T2 -> T2 + alpha
alpha_T2_beta -> alpha_T2 + beta
alpha_T2 + beta -> alpha_T2_beta
T2_beta -> T2 + beta
T2 + beta -> T2_beta
alpha_T2_beta -> T2_beta + alpha
T2_beta + alpha -> alpha_T2_beta
alpha_T2 -> alpha_beta_T2
alpha_T2_beta -> alpha_beta_T2 + beta
alpha_beta_T2 -> alpha_T2_beta
T3 + beta -> beta_T3
beta_T3 -> T3 + beta
beta_T3_Inh -> Inh + beta_T3
Inh + beta_T3 -> beta_T3_Inh
Inh + T3 -> T3_Inh
T3_Inh -> Inh + T3
T3_Inh + beta -> beta_T3_Inh
beta_T3_Inh -> T3_Inh + beta
beta_T3 -> beta_Inh_T3
beta_T3_Inh -> Inh + beta_Inh_T3
beta_Inh_T3 -> beta_T3_Inh
Inh + T1 -> Inh_T1
Inh_T1 -> Inh + T1
Inh + T1_alpha -> Inh_T1 + alpha
Inh_T1 + alpha -> Inh + T1_alpha
Inh_T1 + alpha -> Inh + alpha_T1
Inh + alpha_T1 -> Inh_T1 + alpha
alpha -> empty
empty -> alpha
beta -> empty
empty -> beta
Inh -> empty
empty -> Inh