The dog chases the lion. The dog is rough. The lion needs the dog. All big people are cold. If the dog chases the lion then the lion likes the dog. If someone likes the lion then they chase the dog. If someone chases the dog then they like the lion. If someone is red and not cold then they do not need the dog. If someone likes the dog then the dog likes the lion. If someone is big and they need the dog then the dog does not like the lion. If someone chases the dog and they are big then they are rough.
The lion needs the dog.
@0: The dog chases the lion.[(triple1)] The dog is rough.[(triple2)] The lion needs the dog.[(triple3)] @1: The lion likes the dog.[(((triple1) -> rule2))] @2: The dog likes the lion.[(((((triple1) -> rule2)) -> rule6))] @3: The dog chases the dog.[(((((((triple1) -> rule2)) -> rule6)) -> rule3))]