The dog needs the lion. The lion is young. Big things are young. If the lion needs the dog and the lion is not round then the dog eats the lion. If something is round then it eats the dog. If something is young and it needs the lion then the lion is kind. If something needs the lion and the lion likes the dog then it needs the dog. If something is big then it likes the dog. If something needs the lion then the lion is big. If something eats the dog and the dog does not eat the lion then it likes the lion.
The dog eats the dog.
@0: The dog needs the lion.[(triple1)] The lion is young.[(triple2 OR ((((triple1) -> rule7)) -> rule1))] @1: The lion is big.[(((triple1) -> rule7))] @2: The lion likes the dog.[(((((triple1) -> rule7)) -> rule6))] @3: The dog needs the dog.[(((triple1 ((((triple1) -> rule7)) -> rule6)) -> rule5))]