Text this: An adaptive formal algorithm for solving systems of Kolmogorov–Chapmen equations