The bear chases the tiger. The bear sees the dog. The dog sees the bear. The tiger chases the bear. The tiger chases the dog. The tiger is young. The tiger visits the dog. If someone sees the dog then they see the tiger. If someone is young and they see the dog then the dog chases the bear. If someone visits the bear and the bear visits the tiger then the bear is cold.
The tiger is not young.
@0: The bear chases the tiger.[(triple1)] The bear sees the dog.[(triple2)] The dog sees the bear.[(triple3)] The tiger chases the bear.[(triple4)] The tiger chases the dog.[(triple5)] The tiger is young.[(triple6)] The tiger visits the dog.[(triple7)] @1: The bear sees the tiger.[(((triple2) -> rule1))]