The cow likes the dog. The cow needs the dog. The cow visits the squirrel. The dog likes the squirrel. The dog needs the cow. The dog needs the squirrel. The dog visits the cow. The dog visits the squirrel. The squirrel is red. The squirrel likes the cow. The squirrel visits the cow. The squirrel visits the dog. If someone visits the dog then they are rough.
The squirrel is kind.
@0: The cow likes the dog.[(triple1)] The cow needs the dog.[(triple2)] The cow visits the squirrel.[(triple3)] The dog likes the squirrel.[(triple4)] The dog needs the cow.[(triple5)] The dog needs the squirrel.[(triple6)] The dog visits the cow.[(triple7)] The dog visits the squirrel.[(triple8)] The squirrel is red.[(triple9)] The squirrel likes the cow.[(triple10)] The squirrel visits the cow.[(triple11)] The squirrel visits the dog.[(triple12)] @1: The squirrel is rough.[(((triple12) -> rule1))]