The cat likes the cow. The cat likes the squirrel. The cat visits the dog. The cat visits the squirrel. The cow chases the cat. The cow chases the dog. The cow chases the squirrel. The cow likes the squirrel. The cow visits the cat. The dog chases the cat. The dog is green. The dog likes the cow. The dog visits the cow. The dog visits the squirrel. The squirrel is big. The squirrel visits the cat. If someone visits the squirrel then the squirrel is green. If someone likes the cow and they like the squirrel then the squirrel likes the cat.
The squirrel likes the squirrel.
@0: The cat likes the cow.[(triple1)] The cat likes the squirrel.[(triple2)] The cat visits the dog.[(triple3)] The cat visits the squirrel.[(triple4)] The cow chases the cat.[(triple5)] The cow chases the dog.[(triple6)] The cow chases the squirrel.[(triple7)] The cow likes the squirrel.[(triple8)] The cow visits the cat.[(triple9)] The dog chases the cat.[(triple10)] The dog is green.[(triple11)] The dog likes the cow.[(triple12)] The dog visits the cow.[(triple13)] The dog visits the squirrel.[(triple14)] The squirrel is big.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The squirrel is green.[(((triple14) -> rule1) OR ((triple4) -> rule1))] The squirrel likes the cat.[(((triple1 triple2) -> rule2))]