The dog chases the lion. The dog eats the lion. The dog is big. The dog is green. The dog is nice. The lion chases the dog. The lion eats the dog. The lion is big. The lion is cold. The lion is green. The lion is young. The lion visits the dog. If the dog eats the lion then the dog visits the lion.
The dog visits the lion.
@0: The dog chases the lion.[(triple1)] The dog eats the lion.[(triple2)] The dog is big.[(triple3)] The dog is green.[(triple4)] The dog is nice.[(triple5)] The lion chases the dog.[(triple6)] The lion eats the dog.[(triple7)] The lion is big.[(triple8)] The lion is cold.[(triple9)] The lion is green.[(triple10)] The lion is young.[(triple11)] The lion visits the dog.[(triple12)] @1: The dog visits the lion.[(((triple2) -> rule1))]