The dog needs the lion. The dog visits the lion. The lion visits the dog. If someone is kind then they need the lion. If someone eats the dog and the dog visits the lion then the lion is rough. If someone needs the lion then the lion visits the dog. If someone visits the lion then they are round. If someone visits the lion and the lion needs the dog then the lion is rough. All kind people are young.
The lion eats the lion.
@0: The dog needs the lion.[(triple1)] The dog visits the lion.[(triple2)] The lion visits the dog.[(triple3 OR ((triple1) -> rule3))] @1: The dog is round.[(((triple2) -> rule4))]