Hogyan lehet Venn-diagramok segítségével megmondani ezekről az állításokról hogy a harmadik logikai következményük-e?

Mindenki fél Drakulától.

Drakula csak tőlem fél.

Én vagyok Drakula.

∀xF(x,a)

∀x(F(a,x) ⊃ x = b)

a = b

Anna magasabb mint Bea.

Bea magasabb mint Csilla.

Ezért Anna magasabb mint Csilla.

M(a,b)

M(b,c)

M(a,c)

ezt a példát pedig meg tudtam oldani

Minden nagymamának nagy orra van.

Néhány farkas nem nagymama.

Néhány farkasnak nincs nagy orra.

∀x(N(x) ⊃ O(x))

∃x(F(x)∧¬N(x))

∃x(F(x)∧¬O(x))

Nem igazán vagyok jó logikából.. A függvények neve alapján neveztem el a három kört, és egy paraméterük volt. Meg lehet mondani egyáltalán Venn-diagrammal ezekre a kérdésekre a választ? Ha nem, akkor hogyan lehetne egyszerűen, vagy hol tudok ezeknek esetleg utánanézni? amit találtam azok szillogizmusokról szólnak és egyetlen ilyen példát sem mondtak sosem. Sejtem, hogy ezek már nem azok. Jó lenne ha valaki tudna esetleg segíteni rendezni ezt a fejemben.

Köszi előre is a választ!