irly short order.  We have the aggregation over four terms:

| s_1  =  neat
| s_2  =  swine
| s_3  =  sheep
| s_4  =  deer

Suppose that u is the logical disjunction of these terms:

| u  =  ((s_1)(s_2)(s_3)(s_4)).

Figure 2 illustrates the situation that we have before us.

|                w = herbivorous
|                o
|                * *     Rule
|                *   *   v=&gt;w
|                *     *
|                *       *
|                *         *
|           Fact *           o v = clove