The bear is cold. The dog chases the tiger. The dog is cold. The dog is nice. The dog sees the bear. The dog sees the lion. The dog sees the tiger. The lion sees the dog. The tiger needs the dog. The tiger sees the lion. If something chases the tiger then it chases the bear. Green things are young.
The tiger sees the lion.
@0: The bear is cold.[(triple1)] The dog chases the tiger.[(triple2)] The dog is cold.[(triple3)] The dog is nice.[(triple4)] The dog sees the bear.[(triple5)] The dog sees the lion.[(triple6)] The dog sees the tiger.[(triple7)] The lion sees the dog.[(triple8)] The tiger needs the dog.[(triple9)] The tiger sees the lion.[(triple10)] @1: The dog chases the bear.[(((triple2) -> rule1))]