A challenge of logic and general knowledge