The bear visits the dog. The dog chases the bear. If the bear needs the dog then the dog visits the bear. If someone visits the dog and they are round then the dog visits the bear. If someone chases the bear then the bear visits the dog. If someone is green then they visit the dog. If someone needs the dog then they are not round. If the dog chases the bear and the bear is young then the bear is round. If someone needs the dog and they are blue then the dog chases the bear. If someone is green then they need the dog.
The bear visits the dog.
@0: The bear visits the dog.[(triple1 OR ((triple2) -> rule3))] The dog chases the bear.[(triple2)]