Výroková logika TSP.

Zdravím, jsem zoufalý z tohoto příkladu, mohl by prosím někdo poradit?díky moc

Je dán výrok Y: „Všichni ptáci mají zobák.“ Víme, že z výroků X a Y logicky
vyplývá tvrzení T: „Někteří živočichové nejsou ptáci.“ Který z následujících
výroků můžeme dosadit za X? (Neberte ohled na jejich skutečnou pravdivost
či nepravdivost.)
a) Všichni ptáci jsou živočichové.
b) Někteří, kteří mají zobák, nejsou ptáci.
c) Někteří ptáci jsou živočichové.
d) Někteří živočichové nemají zobák.
e) Všichni, kteří mají zobák, jsou živočichové.

Správně je D.