!7

sS bla = [[

  Always: (Q: Do you know what X is?) & (X is Y) => A: It's Y

  Always: (Q: Do you know what X is?) & (No Y where (X is Y)) => A: What is X?

  The box is green

  anmjmlkwmjbzbiss - Always: X

  ufzlismnlhvbjqoj - (X) and (Y) and (Z) and (AA) and (AB) => (AC)

  phkdhqkhzytkwdpb - (X) and (Y) and (Z) and (AA) => (AB)

  cntevdawguaaxqmn - (X) and (Y) and (Z) => (AB)

  eijdjqhyzheusetj - (X) and (Y) and (Z) => (AA)

  mwpbetwhkuuuupws - X and Y and Z => AA

  txsysipmstxmjhmi - (X) and (Y) => (Z)

  cuutddpitkuswthu - While (X) => (Y)

  kecvwixuouqlpzhu - (X) and (Y) => Z

  tusgcjefvtgebzba - (X) & (Y) => Z

  wziyypnyayfphdxs - (X) => (Y)

  chkfkshhwshoauan - X => Y

  mcoswmplpqlieruo - (X)

  vouwrrhtmajsgaby - Q: X

  nywfcwkkcknzhmdy - A: X

  icpawfsfqehwdnon - Do you know what X is?

  urfkhwfasdaqqqse - What is X?

  wcwlqvvrpdwjzfms - X is Y

  kxlzhendchftgjqh - No X where (Y)

  zhahnerfmvfdqkxd - It's X

]];

p {

  myTruthNonPersist(bla);

  lispSolveQuestionVerbose("Do you know what the box is?");

  lispSolveQuestionVerbose("Do you know what the bear is?");

}