Recursive inference not thorough

Doesn't catch a X==Y; Z==X therefore Z==Y