sameClassBecauseOfSharedMember(a, b, a).
sameClassBecauseOfSharedMember(a, c, a).
sameClassBecauseOfSharedMember(b, a, a).
sameClassBecauseOfSharedMember(b, c, a).
sameClassBecauseOfSharedMember(c, a, a).
sameClassBecauseOfSharedMember(c, b, a).
sameClassBecauseOfSharedMember(a, b, b).
sameClassBecauseOfSharedMember(a, c, b).
sameClassBecauseOfSharedMember(b, a, b).
sameClassBecauseOfSharedMember(b, c, b).
sameClassBecauseOfSharedMember(c, a, b).
sameClassBecauseOfSharedMember(c, b, b).
sameClassBecauseOfSharedMember(a, b, c).
sameClassBecauseOfSharedMember(a, c, c).
sameClassBecauseOfSharedMember(b, a, c).
sameClassBecauseOfSharedMember(b, c, c).
sameClassBecauseOfSharedMember(c, a, c).
sameClassBecauseOfSharedMember(c, b, c).