Simply logical Intelligent reasoning by example - Flach Peter A. (Wiley, J., 1994)