Sem A, não se tem B.
Sem B, não se tem C.
Assim, conclui-se que:
A é suficiente para B e para C;
B é necessário para A e para C;
C é suficiente para A e para B;
A e B são suficientes para C;
B é necessário para A e suficiente para C.