#inferencia transitiva