The bear chases the cat. The bear is red. The cat likes the bear. The dog is big. The dog is blue. The lion chases the cat. The lion chases the dog. The lion eats the cat. The lion likes the cat. The lion likes the dog. If someone is big then they eat the bear. If someone likes the bear and the bear chases the cat then the cat chases the bear. If someone eats the bear then the bear likes the dog. If someone likes the bear and the bear chases the dog then they are green. If someone likes the lion and they chase the cat then the lion likes the cat. If the dog is round and the dog is big then the dog chases the lion.
The bear does not like the bear.
@0: The bear chases the cat.[(triple1)] The bear is red.[(triple2)] The cat likes the bear.[(triple3)] The dog is big.[(triple4)] The dog is blue.[(triple5)] The lion chases the cat.[(triple6)] The lion chases the dog.[(triple7)] The lion eats the cat.[(triple8)] The lion likes the cat.[(triple9)] The lion likes the dog.[(triple10)] @1: The cat chases the bear.[(((triple3 triple1) -> rule2))] The dog eats the bear.[(((triple4) -> rule1))] @2: The bear likes the dog.[(((((triple4) -> rule1)) -> rule3))]