The dog chases the lion. The dog eats the lion. The dog likes the lion. The lion chases the tiger. The lion is big. The lion is red. The lion is round. The tiger chases the dog. The tiger eats the dog. The tiger eats the lion. The tiger is big. The tiger likes the dog. If someone eats the dog then they eat the tiger. If someone eats the lion and the lion eats the dog then the dog is big.
The tiger chases the lion.
@0: The dog chases the lion.[(triple1)] The dog eats the lion.[(triple2)] The dog likes the lion.[(triple3)] The lion chases the tiger.[(triple4)] The lion is big.[(triple5)] The lion is red.[(triple6)] The lion is round.[(triple7)] The tiger chases the dog.[(triple8)] The tiger eats the dog.[(triple9)] The tiger eats the lion.[(triple10)] The tiger is big.[(triple11)] The tiger likes the dog.[(triple12)] @1: The tiger eats the tiger.[(((triple9) -> rule1))]