No diagrama lógico a seguir, suponha que há elementos em cada uma de suas regiões. A única alternativa que é necessariamente verdadeira em relação ao diagrama apresentado é:

se existe elemento de G que não é elemento de H, então esse elemento de G não é elemento de F.

há elemento de H que não é elemento de G.

todo elemento de H que é elemento de G é, também, elemento de F.

se há elemento de F que não é elemento de G, então esse elemento de F não é elemento de H.

não há elemento de F que seja elemento de G e que não seja elemento de H.