Um grupo de amigos planeja uma viagem. Ana, Bia e Clara decidem ir juntas, mas há uma condição: se Ana for, Bia também deverá ir. Se Bia for, Clara não poderá ir. Sabendo que Ana decidiu ir à viagem, podemos concluir que Bia irá e Clara não irá, pois a ida de Ana implica a ida de Bia, e a ida de Bia implica a não ida de Clara, garantindo a satisfação de todas as condições estabelecidas.