English: So, you can see for example, this one Frege one has connection with this two rules, essentially this tool says that alpha implies beta and if you see that not beta implies not alpha is implied.
Telugu: కాబట్టి, మీరు ఉదాహరణకు చూడవచ్చు, ఈ ఒక ఫ్రీజ్‌కు ఈ రెండు నియమాలతో సంబంధం ఉంది, ముఖ్యంగా ఈ సాధనం α బీటాను సూచిస్తుందని మరియు β కాదు α సూచించబడదని మీరు చూస్తే.