[empath75]

This test does not require theory of mind or test for "theory of mind" because there are many people who have a well formed theory of mind who cannot solve this problem, and well formulated, it can be solved by a simple logic program, which again, would not have any kind of theory of mind. It'd produce a large number of false positives _and_ false negatives.

[godelski]

  > it can be solved by a simple logic program

Which relies on understanding that Albert and Bernard have mental states and disjoint information.

  A theory of mind includes the knowledge that others' beliefs, desires, intentions, emotions, and thoughts may be different from one's own.
  - https://en.wikipedia.org/wiki/Theory_of_mind