A partir das informações obtidas no diagrama lógico a seguir, é logicamente verdadeiro afirmar que

qualquer elemento de G, que não é elemento de H, é elemento de F.

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

os elementos de G, que são elementos de H, são também elementos de F.

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