The cow chases the dog. The cow is kind. The cow likes the dog. The cow visits the squirrel. The dog is kind. The dog likes the squirrel. The dog visits the rabbit. The rabbit chases the dog. The squirrel is green. The squirrel is rough. The squirrel likes the rabbit. The squirrel visits the rabbit. If something is rough then it chases the squirrel.
The cow is rough.
@0: The cow chases the dog.[(triple1)] The cow is kind.[(triple2)] The cow likes the dog.[(triple3)] The cow visits the squirrel.[(triple4)] The dog is kind.[(triple5)] The dog likes the squirrel.[(triple6)] The dog visits the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The squirrel is green.[(triple9)] The squirrel is rough.[(triple10)] The squirrel likes the rabbit.[(triple11)] The squirrel visits the rabbit.[(triple12)] @1: The squirrel chases the squirrel.[(((triple10) -> rule1))]