The bear chases the cat. The bear chases the mouse. The bear is round. The bear likes the cat. The cat chases the bear. The cat is green. The cat visits the dog. The cat does not visit the mouse. The dog chases the cat. The dog is green. The dog does not visit the cat. The dog visits the mouse. The mouse likes the dog. The mouse visits the bear. The mouse visits the dog. If someone is round then they visit the cat.
The bear does not visit the cat.
@0: The bear chases the cat.[(triple1)] The bear chases the mouse.[(triple2)] The bear is round.[(triple3)] The bear likes the cat.[(triple4)] The cat chases the bear.[(triple5)] The cat does not visit the mouse.[(triple8)] The cat is green.[(triple6)] The cat visits the dog.[(triple7)] The dog chases the cat.[(triple9)] The dog does not visit the cat.[(triple11)] The dog is green.[(triple10)] The dog visits the mouse.[(triple12)] The mouse likes the dog.[(triple13)] The mouse visits the bear.[(triple14)] The mouse visits the dog.[(triple15)] @1: The bear visits the cat.[(((triple3) -> rule1))]