Kay is taller than Stacy , Stacy is taller than Hilda , Hilda is taller than Theresa , Theresa is taller than Donna , Donna is taller than Lois , Lois is taller than Cindy , Cindy is taller than Colleen
Lois is taller than Cindy
This example is not_contradiction.