Lewis Carroll turns logic into a parlour game. A diagram divided into quadrants, nine counters—four red, five grey—and a handful of statements about cakes are…