==> logic/boxes.p <==
Which Box Contains the Gold?

Two boxes are labeled "A" and "B".  A sign on box A says "The sign
on box B is true and the gold is in box A".  A sign on box B says
"The sign on box A is false and the gold is in box A".  Assuming there
is gold in one of the boxes, which box contains the gold?