chain inference

Цепное заключение