Figure 8.

A blocks world example. In this particular example brick(b), brick(c), pyramid(a), on(c, b), on(c, a) are true and therefore not rejected by definition (3): the condition that "c" MUST sit on something that is not a pyramid in order to be a brick is met by on(c, b).

Pantazi et al. BMC Medical Informatics and Decision Making 2004 4:19   doi:10.1186/1472-6947-4-19
Download authors' original image