The dog is kind. The lion likes the dog. The rabbit sees the dog. If someone likes the lion then they see the lion. If the dog sees the lion and the dog is cold then the dog is rough. If someone sees the lion and they are kind then the lion likes the rabbit. If the lion visits the rabbit then the lion is big. If someone likes the lion then they like the rabbit. If someone visits the lion then the lion visits the rabbit. If someone likes the rabbit and the rabbit sees the lion then the lion visits the rabbit. If someone is kind then they like the lion.
The lion visits the lion.
@0: The dog is kind.[(triple1)] The lion likes the dog.[(triple2)] The rabbit sees the dog.[(triple3)] @1: The dog likes the lion.[(((triple1) -> rule8))] @2: The dog likes the rabbit.[(((((triple1) -> rule8)) -> rule5))] The dog sees the lion.[(((((triple1) -> rule8)) -> rule1))] @3: The lion likes the rabbit.[(((((((triple1) -> rule8)) -> rule1) triple1) -> rule3))]