The cow is red. The cow likes the lion. The cow needs the lion. The lion is big. The lion is red. The lion is young. The lion likes the cow. If someone likes the cow and the cow is red then they eat the lion. If someone eats the lion and the lion is red then they like the lion. If someone likes the lion and they like the cow then the lion eats the cow.
The lion does not like the lion.
@0: The cow is red.[(triple1)] The cow likes the lion.[(triple2)] The cow needs the lion.[(triple3)] The lion is big.[(triple4)] The lion is red.[(triple5)] The lion is young.[(triple6)] The lion likes the cow.[(triple7)] @1: The lion eats the lion.[(((triple7 triple1) -> rule1))] @2: The lion likes the lion.[(((((triple7 triple1) -> rule1) triple5) -> rule2))] @3: The lion eats the cow.[(((((((triple7 triple1) -> rule1) triple5) -> rule2) triple7) -> rule3))]