推論が O(全型数^深さ) になっちゃう

ここがよくわからないです。左辺が T で、 .A が来るので、 T.A を探す、見つかる　→ T.A は :T で .B が続くから T.B , -> T.Bは :T で .C が続くから T.C -> T.C は :T で代入できるのでOK と、一直線に進む気が。