Hello, jstarks44444!

Who gave you that example? .It's too complicated.

There are much simpler examples . . .

If a quadrilateral is a square, then it has four sides.

If an integer is divisible by 6, then it is even.

If two numbers are 8 and 9, then the product of the two numbers is 72.