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).