deductive chain

Дедуктивная цепочка