The dog chases the squirrel. The dog is blue. The dog visits the lion. The lion chases the dog. The lion chases the squirrel. The lion is young. The lion likes the dog. The lion visits the dog. The lion does not visit the squirrel. The squirrel is green. If someone is green then they chase the dog.
The dog likes the lion.
@0: The dog chases the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog visits the lion.[(triple3)] The lion chases the dog.[(triple4)] The lion chases the squirrel.[(triple5)] The lion does not visit the squirrel.[(triple9)] The lion is young.[(triple6)] The lion likes the dog.[(triple7)] The lion visits the dog.[(triple8)] The squirrel is green.[(triple10)] @1: The squirrel chases the dog.[(((triple10) -> rule1))]