Se Carlos é mais velho do que Pedro, então Maria e Júlia têm a mesma idade. Se Maria e Júlia têm a mesma idade, então João é mais novo do que Pedro. Se João é mais novo do que Pedro, então Carlos é mais velho do que Maria. Sabe-se que Carlos não é mais velho do que Maria. Então:
