The dog is rough. The lion needs the dog. The tiger is big. If someone is green and rough then they like the dog. If someone is young then they chase the dog. If someone is big and they like the dog then they chase the tiger. If someone needs the dog then they chase the lion. If someone likes the lion then they are green. If someone chases the dog and the dog chases the tiger then the tiger likes the dog. If someone likes the dog then the dog needs the tiger. If someone chases the lion then the lion likes the dog.
The lion does not chase the lion.
@0: The dog is rough.[(triple1)] The lion needs the dog.[(triple2)] The tiger is big.[(triple3)] @1: The lion chases the lion.[(((triple2) -> rule4))] @2: The lion likes the dog.[(((((triple2) -> rule4)) -> rule8))] @3: The dog needs the tiger.[(((((((triple2) -> rule4)) -> rule8)) -> rule7))]