The dog chases the lion. The lion chases the dog. The lion chases the rabbit. The lion is nice. The rabbit eats the dog. The tiger chases the dog. The tiger likes the lion. If something is green then it likes the tiger. If something likes the tiger then it chases the lion. If something chases the rabbit then the rabbit likes the tiger.
The tiger chases the dog.
@0: The dog chases the lion.[(triple1)] The lion chases the dog.[(triple2)] The lion chases the rabbit.[(triple3)] The lion is nice.[(triple4)] The rabbit eats the dog.[(triple5)] The tiger chases the dog.[(triple6)] The tiger likes the lion.[(triple7)] @1: The rabbit likes the tiger.[(((triple3) -> rule3))] @2: The rabbit chases the lion.[(((((triple3) -> rule3)) -> rule2))]