The bear chases the dog. The bear eats the rabbit. The bear is green. The bear is red. The bear visits the dog. The bear visits the rabbit. The dog chases the bear. The dog chases the rabbit. The rabbit chases the bear. The rabbit eats the dog. All green people are red. If someone eats the bear then the bear chases the dog. If someone chases the rabbit then they visit the rabbit. If someone is green and they visit the dog then the dog chases the bear. If someone is nice and they eat the bear then they are red. If the bear eats the rabbit and the rabbit eats the bear then the bear eats the dog. If someone visits the dog and they are green then the dog is green. If someone eats the rabbit then the rabbit visits the dog.
The rabbit does not visit the rabbit.
@0: The bear chases the dog.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is green.[(triple3)] The bear is red.[(triple4 OR ((triple3) -> rule1))] The bear visits the dog.[(triple5)] The bear visits the rabbit.[(triple6)] The dog chases the bear.[(triple7 OR ((triple3 triple5) -> rule4))] The dog chases the rabbit.[(triple8)] The rabbit chases the bear.[(triple9)] The rabbit eats the dog.[(triple10)] @1: The dog is green.[(((triple5 triple3) -> rule7))] The dog visits the rabbit.[(((triple8) -> rule3))] The rabbit visits the dog.[(((triple2) -> rule8))] @2: The dog is red.[(((((triple5 triple3) -> rule7)) -> rule1))]