The bear is kind. The dog is kind. The tiger chases the dog. If the bear visits the tiger then the bear is cold. If someone is cold then they like the bear. If someone is young then they chase the bear. If someone is young then they visit the tiger. If someone likes the dog and the dog is red then they are red. If someone is kind then they visit the tiger.
The bear is not cold.
@0: The bear is kind.[(triple1)] The dog is kind.[(triple2)] The tiger chases the dog.[(triple3)] @1: The bear visits the tiger.[(((triple1) -> rule6))] The dog visits the tiger.[(((triple2) -> rule6))] @2: The bear is cold.[(((((triple1) -> rule6)) -> rule1))] @3: The bear likes the bear.[(((((((triple1) -> rule6)) -> rule1)) -> rule2))]