English: So, you can see its like transivity and f alpha implies beta implies gamma, then you have rules says that alpha implies gamma if you have such a rule in your system then you have to showed alpha implies gamma or something like that.
Telugu: కాబట్టి, మీరు దానిలాంటి ట్రాన్సివిటీని(transivity) చూడవచ్చు మరియు f α-->β-->γ, అప్పుడు మీకు నియమాలు ఉన్నాయి α-->γ మీ సిస్టమ్‌లో మీకు అలాంటి నియమం ఉంటే సూచిస్తుంది, అప్పుడు మీరు α-->γను లేదా అలాంటిదే.