Solution to logical puzzle