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