That's true only if your interest is limited to the mechanical rules of logic derivation. For those of us interested in the relations between symbols and meaning, the puzzle is fascinating.
> Sorry for assuming the problem would adhere to standard expectations.
That was the solution to the puzzle - realizing that this was an invalid assumption, given the formulation.
> Sorry for assuming the problem would adhere to standard expectations. That was the solution to the puzzle - realizing that this was an invalid assumption, given the formulation.