!7

sS questions = [[
  Is your product software? => Yes
  Is your product hardware? => I don't know
  Is your product a fluffy penguin? => I don't know
]];

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

  ypenmdohuvmyfabd - Is your product X?
  wcwlqvvrpdwjzfms - X is Y
  zhahnerfmvfdqkxd - It's X
]];

p {
  myTruthNonPersist(facts + standardConcepts() + rules);
  lispCheckQuestionsVerbose(questions);
}