The bear is nice. The bear likes the cow. The bear does not like the dog. The bear does not see the dog. The bear visits the cow. The cow sees the bear. The cow visits the dog. The dog is green. The dog is round. The dog likes the bear. The dog does not see the cow. The dog visits the cow. If someone is green then they visit the dog. If the bear sees the cow and the bear is green then the bear visits the cow. If someone is green and not nice then they like the dog. If the dog is green and the dog sees the cow then the dog is round. If someone likes the dog then the dog is round. If someone is rough and they see the dog then they like the cow.
The cow does not like the dog.
@0: The bear does not like the dog.[(triple3)] The bear does not see the dog.[(triple4)] The bear is nice.[(triple1)] The bear likes the cow.[(triple2)] The bear visits the cow.[(triple5)] The cow sees the bear.[(triple6)] The cow visits the dog.[(triple7)] The dog does not see the cow.[(triple11)] The dog is green.[(triple8)] The dog is round.[(triple9)] The dog likes the bear.[(triple10)] The dog visits the cow.[(triple12)] @1: The dog visits the dog.[(((triple8) -> rule1))]