The dog is rough. The dog likes the rabbit. The dog visits the lion. The dog visits the tiger. The lion is big. The lion likes the dog. The rabbit is young. The tiger is cold. The tiger is rough. The tiger is young. If something likes the dog and it is big then the dog likes the lion. If something eats the rabbit then the rabbit eats the lion. If something likes the tiger and the tiger likes the lion then the lion eats the dog.
The tiger is cold.
@0: The dog is rough.[(triple1)] The dog likes the rabbit.[(triple2)] The dog visits the lion.[(triple3)] The dog visits the tiger.[(triple4)] The lion is big.[(triple5)] The lion likes the dog.[(triple6)] The rabbit is young.[(triple7)] The tiger is cold.[(triple8)] The tiger is rough.[(triple9)] The tiger is young.[(triple10)] @1: The dog likes the lion.[(((triple6 triple5) -> rule1))]