The cat chases the squirrel. The cat is cold. The cat visits the cow. The cow chases the squirrel. The cow visits the squirrel. The dog chases the cat. The dog is green. The dog is kind. The dog visits the squirrel. The squirrel chases the cow. The squirrel likes the cow. The squirrel likes the dog. If the cow likes the dog then the dog is green. If someone likes the cat then the cat is rough. If someone is green then they like the dog. If the squirrel is green then the squirrel chases the cow. If someone is rough then they like the cat. If someone chases the dog then the dog visits the cat.
The squirrel is green.
@0: The cat chases the squirrel.[(triple1)] The cat is cold.[(triple2)] The cat visits the cow.[(triple3)] The cow chases the squirrel.[(triple4)] The cow visits the squirrel.[(triple5)] The dog chases the cat.[(triple6)] The dog is green.[(triple7)] The dog is kind.[(triple8)] The dog visits the squirrel.[(triple9)] The squirrel chases the cow.[(triple10)] The squirrel likes the cow.[(triple11)] The squirrel likes the dog.[(triple12)] @1: The dog likes the dog.[(((triple7) -> rule3))]