“$ x $ is a brother of $ y $.” Why is this not transitive?
If Fred is Bob's brother, and vice versa, transitivity would imply that Fred is his own brother.
If Fred is Bob's brother, and vice versa, transitivity would imply that Fred is his own brother.