3段論法とオブジェクト指向

AはBである
BはCができる
よってAはCができる

の形について。
・クラス-インスタンス関係

A = new B();
class B {void c(){}}
a.c();

・継承関係

class A extends B{}
class B {void c(){}}
new A().c();