The bear likes the cow. The cow likes the bear. All cold people are not blue. If someone eats the bear and they chase the bear then they do not eat the cow. If someone is blue then they do not eat the cow. If someone likes the cow then the cow chases the bear. If someone is round then they do not chase the cow. If someone is nice then they eat the bear. If someone is round and they chase the bear then the bear eats the cow. If the cow does not chase the bear then the bear eats the cow.
The bear chases the cow.
@0: The bear likes the cow.[(triple1)] The cow likes the bear.[(triple2)] @1: The cow chases the bear.[(((triple1) -> rule4))]