chain of inferences

Мат. цепь умозаключений