The bear sees the lion. The cow likes the dog. The dog is green. The dog is young. The dog likes the lion. The dog sees the cow. The dog visits the bear. The lion likes the bear. The lion likes the cow. The lion visits the cow. If someone is red then they see the bear. If someone likes the cow then they see the dog. If someone visits the bear and they are nice then the bear sees the lion. If someone visits the dog and they are not red then they like the cow. If the cow does not visit the lion then the lion visits the bear. If the dog sees the lion and the lion does not visit the cow then the cow sees the lion. If someone visits the cow and they are not nice then they are not green. If someone sees the lion then they like the dog.
The lion does not see the bear.
@0: The bear sees the lion.[(triple1)] The cow likes the dog.[(triple2)] The dog is green.[(triple3)] The dog is young.[(triple4)] The dog likes the lion.[(triple5)] The dog sees the cow.[(triple6)] The dog visits the bear.[(triple7)] The lion likes the bear.[(triple8)] The lion likes the cow.[(triple9)] The lion visits the cow.[(triple10)] @1: The bear likes the dog.[(((triple1) -> rule8))] The lion sees the dog.[(((triple9) -> rule2))]