The bear eats the dog. The cow is red. The cow likes the squirrel. The dog chases the squirrel. The dog likes the bear. The dog likes the cow. The squirrel chases the dog. If someone eats the squirrel then they eat the dog. If someone is red and they eat the cow then they eat the bear. If someone chases the bear then the bear chases the squirrel. If someone chases the cow then the cow eats the bear. If someone likes the cow and the cow likes the bear then they like the bear. If someone is red then they like the dog.
The bear does not like the bear.
@0: The bear eats the dog.[(triple1)] The cow is red.[(triple2)] The cow likes the squirrel.[(triple3)] The dog chases the squirrel.[(triple4)] The dog likes the bear.[(triple5)] The dog likes the cow.[(triple6)] The squirrel chases the dog.[(triple7)] @1: The cow likes the dog.[(((triple2) -> rule6))]