The cow likes the lion. The cow sees the lion. The dog visits the squirrel. The lion likes the cow. The lion likes the squirrel. The squirrel likes the dog. The squirrel sees the cow. If someone is kind and they see the dog then the dog likes the squirrel. If someone visits the squirrel then the squirrel likes the lion. If someone is rough then they visit the cow. If the squirrel sees the cow and the cow sees the squirrel then the squirrel likes the dog. If someone visits the squirrel then they like the squirrel. If someone likes the cow and they visit the lion then they visit the cow. If someone sees the cow and the cow is blue then they see the lion. If someone is big and they like the dog then they like the cow.
The squirrel likes the dog.
@0: The cow likes the lion.[(triple1)] The cow sees the lion.[(triple2)] The dog visits the squirrel.[(triple3)] The lion likes the cow.[(triple4)] The lion likes the squirrel.[(triple5)] The squirrel likes the dog.[(triple6)] The squirrel sees the cow.[(triple7)] @1: The dog likes the squirrel.[(((triple3) -> rule5))] The squirrel likes the lion.[(((triple3) -> rule2))]