An Exercise in Logical Reasoning