Se Fábio é amigo de Felipe, então Adriano não é amigo de Alberto. Ou Adriano é amigo de Alberto, ou Edson é amigo de Eurico. Se Paulo não é amigo de Pedro, então Fábio é amigo de Felipe. Ora, nem Edson é amigo de Eurico nem Igor é amigo de Ivan. Logo:
