!7

sS questions = [[

  Is your product software?

  Is your product hardware?

  Is your product a fluffy penguin?

]];

sS facts = [[

  My product is a C compiler

  A C compiler is software

]];

sS rules = [[

  Always: (Q: Is your product X?) & (My product is Y) & (Y is X) => A: Yes

  Always: (Q: X) & (There is no statement with operator nywfcwkkcknzhmdy.) => A: I don't know

  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)

  jkbzwuwirpbvfzhy - (X) & (Y) & (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)

  zhoulgsatpswstfa - There is no statement with operator X.

  vouwrrhtmajsgaby - Q: X

  nywfcwkkcknzhmdy - A: X

  ypenmdohuvmyfabd - Is your product X?

  wcwlqvvrpdwjzfms - X is Y

  kxlzhendchftgjqh - No X where (Y)

  zhahnerfmvfdqkxd - It's X

  zqxoghyhhhfgziob - I don't know

]];

p {

  myTruthNonPersist(facts + rules);

  lispSolveQuestionsVerbose(questions);

}