The bear chases the cat. The bear eats the squirrel. The cat is red. The dog is big. The squirrel chases the bear. The squirrel chases the dog. The squirrel likes the bear. If someone chases the dog and they eat the cat then they like the dog. If the cat chases the dog then the cat is blue. If someone eats the bear then the bear is young. If someone likes the cat then they are big. If someone chases the cat and they like the dog then they chase the squirrel. If someone chases the bear then the bear likes the dog.
The bear is blue.
@0: The bear chases the cat.[(triple1)] The bear eats the squirrel.[(triple2)] The cat is red.[(triple3)] The dog is big.[(triple4)] The squirrel chases the bear.[(triple5)] The squirrel chases the dog.[(triple6)] The squirrel likes the bear.[(triple7)] @1: The bear likes the dog.[(((triple5) -> rule6))] @2: The bear chases the squirrel.[(((triple1 ((triple5) -> rule6)) -> rule5))]