The cat is green. The cat likes the cow. The cat likes the dog. The cat visits the dog. The cow likes the cat. The cow sees the cat. The cow visits the dog. The dog is rough. The dog is young. The dog sees the cat. The dog visits the cat. The tiger is green. The tiger is young. The tiger sees the cow. The tiger visits the dog. If something is rough and it sees the cat then it is round. If something is round and it sees the cow then the cow likes the tiger. If something is nice then it visits the dog.
The dog visits the cat.
@0: The cat is green.[(triple1)] The cat likes the cow.[(triple2)] The cat likes the dog.[(triple3)] The cat visits the dog.[(triple4)] The cow likes the cat.[(triple5)] The cow sees the cat.[(triple6)] The cow visits the dog.[(triple7)] The dog is rough.[(triple8)] The dog is young.[(triple9)] The dog sees the cat.[(triple10)] The dog visits the cat.[(triple11)] The tiger is green.[(triple12)] The tiger is young.[(triple13)] The tiger sees the cow.[(triple14)] The tiger visits the dog.[(triple15)] @1: The dog is round.[(((triple8 triple10) -> rule1))]