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