Everyone who is tall (T) is good at baseball (GB).

(T > GB)

S (s) is tall.

(s^T)

S is good at baseball.

(sGB)

C (c) is not tall.

(c/T)

C is not good at baseball.

(c/GB)

Is this right?