The dog is young. The lion eats the dog. The tiger sees the dog. If someone needs the dog then they see the dog. If someone eats the dog then they eat the lion. If someone is rough and they need the lion then the lion is young. If someone eats the dog then they are big. If the lion sees the dog then the dog eats the lion. If someone eats the lion and they are big then they need the lion.
The lion does not need the lion.
@0: The dog is young.[(triple1)] The lion eats the dog.[(triple2)] The tiger sees the dog.[(triple3)] @1: The lion eats the lion.[(((triple2) -> rule2))] The lion is big.[(((triple2) -> rule4))] @2: The lion needs the lion.[(((((triple2) -> rule2) ((triple2) -> rule4)) -> rule6))]