The dog is big. The lion does not eat the dog. The tiger is kind. If someone is big then they eat the dog. If the dog does not eat the tiger then the tiger does not chase the lion. Rough people are kind. If someone is cold then they are kind. If someone eats the dog then they are cold. If someone likes the lion and the lion is kind then they like the tiger. If someone eats the tiger and the tiger is cold then the tiger eats the lion. If the lion chases the dog then the lion likes the dog.
The tiger likes the lion.
@0: The dog is big.[(triple1)] The lion does not eat the dog.[(triple2)] The tiger is kind.[(triple3)] @1: The dog eats the dog.[(((triple1) -> rule1))] @2: The dog is cold.[(((((triple1) -> rule1)) -> rule5))] @3: The dog is kind.[(((((((triple1) -> rule1)) -> rule5)) -> rule4))]