The dog does not eat the lion. The lion is cold. The tiger needs the dog. If someone needs the dog and they need the lion then they visit the tiger. If someone is kind and they need the lion then they visit the tiger. If the lion is young and the lion is not green then the lion eats the dog. If someone is young and they visit the lion then the lion does not visit the tiger. If someone needs the dog then they need the tiger. If someone needs the tiger then the tiger needs the lion. If someone needs the tiger then they need the lion. If someone is young and they do not need the tiger then they eat the dog.
The tiger does not need the tiger.
@0: The dog does not eat the lion.[(triple1)] The lion is cold.[(triple2)] The tiger needs the dog.[(triple3)] @1: The tiger needs the tiger.[(((triple3) -> rule5))] @2: The tiger needs the lion.[(((((triple3) -> rule5)) -> rule6) OR ((((triple3) -> rule5)) -> rule7))] @3: The tiger visits the tiger.[(((triple3 ((((triple3) -> rule5)) -> rule6)) -> rule1) OR ((triple3 ((((triple3) -> rule5)) -> rule7)) -> rule1))]