==> 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?