שלושה ממשקים Inter1(g1), Inter2(g2), Inter3(g3), ושלוש מחלקות F, G, H (רק H מודפסת עם כותרות מלאות: g2,g3,g4; F ו-G מודפסות עם "…" בלבד). קטע ה-main מגלה את כל הקשרים.

Inter1 x = new F();
G y = new G();
Inter3 z = new H();
x = y;
y = new H();
y.G2();
z.G3();
((H)z).G4();
z = new F();

מבנה הירושה/מימוש הנגזר מהקוד (הוכח לוגית משורות ה-main, ואומת בקומפילציה בפועל): F ← Inter1,Inter3 (מימוש); G ← Inter1,Inter2 (מימוש); H extends G, וגם H ← Inter3 (מימוש נוסף, ישיר). ראו נימוק ב-notes של סעיף א'.

Inter1(g1)   Inter2(g2)   Inter3(g3)
   ▲            ▲            ▲
   |‑‑‑‑‑‑‑‑‑‑‑‑|            |
   F            G────────────┘(H ממשת ישירות)
                ▲
                | (ירושה)
                H (g2 [דריסה], g3, g4)