!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);
}