The cow is green. The cow needs the lion. The cow needs the tiger. The dog is not cold. The dog is kind. The dog likes the lion. The dog visits the lion. The dog visits the tiger. The lion likes the cow. The lion visits the cow. The lion visits the tiger. The tiger is rough. The tiger likes the lion. The tiger needs the dog. The tiger needs the lion. If someone is green then they are kind. If someone is red and they do not like the lion then the lion likes the tiger. If the dog is rough then the dog visits the lion.
The lion visits the tiger.
@0: The cow is green.[(triple1)] The cow needs the lion.[(triple2)] The cow needs the tiger.[(triple3)] The dog is kind.[(triple5)] The dog is not cold.[(triple4)] The dog likes the lion.[(triple6)] The dog visits the lion.[(triple7)] The dog visits the tiger.[(triple8)] The lion likes the cow.[(triple9)] The lion visits the cow.[(triple10)] The lion visits the tiger.[(triple11)] The tiger is rough.[(triple12)] The tiger likes the lion.[(triple13)] The tiger needs the dog.[(triple14)] The tiger needs the lion.[(triple15)] @1: The cow is kind.[(((triple1) -> rule1))]