Test ---- Fact: A gazelle is fast Q: Is a gazelle slow? A: No A: No, it is fast A: No, it's fast A: No, a gazelle is fast A: No, fast A: No, it's fast, not slow Not an answer: Yes Example solution ---------------- Fact: Fast is not slow Rule: Y is not Z => Z is not Y Rule: a X is Y & Y is not Z => a X is not Z Rule: is X Y? & X is not Y => no