The dog chases the lion. The dog chases the tiger. The dog is cold. The dog is kind. The dog likes the lion. The dog likes the tiger. The lion chases the tiger. The lion eats the dog. The lion is not red. The tiger chases the lion. The tiger eats the dog. The tiger is not big. The tiger is not kind. The tiger is rough. The tiger likes the dog. If something is kind then it eats the lion. If something eats the lion then the lion likes the tiger.
The lion likes the dog.
@0: The dog chases the lion.[(triple1)] The dog chases the tiger.[(triple2)] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog likes the lion.[(triple5)] The dog likes the tiger.[(triple6)] The lion chases the tiger.[(triple7)] The lion eats the dog.[(triple8)] The lion is not red.[(triple9)] The tiger chases the lion.[(triple10)] The tiger eats the dog.[(triple11)] The tiger is not big.[(triple12)] The tiger is not kind.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the dog.[(triple15)] @1: The dog eats the lion.[(((triple4) -> rule1))] @2: The lion likes the tiger.[(((((triple4) -> rule1)) -> rule2))]