The bear chases the cat. The bear chases the dog. The bear chases the lion. The bear is green. The bear visits the cat. The bear visits the lion. The cat chases the bear. The cat chases the lion. The dog eats the cat. The dog visits the lion. The lion chases the cat. The lion chases the dog. If something chases the bear then the bear chases the dog. If something eats the lion then it chases the cat.
The lion is red.
@0: The bear chases the cat.[(triple1)] The bear chases the dog.[(triple2 OR ((triple7) -> rule1))] The bear chases the lion.[(triple3)] The bear is green.[(triple4)] The bear visits the cat.[(triple5)] The bear visits the lion.[(triple6)] The cat chases the bear.[(triple7)] The cat chases the lion.[(triple8)] The dog eats the cat.[(triple9)] The dog visits the lion.[(triple10)] The lion chases the cat.[(triple11)] The lion chases the dog.[(triple12)]