The bear chases the dog. The bear eats the cat. The bear is green. The bear is kind. The bear visits the dog. The cat chases the bear. The cat eats the dog. The dog chases the cat. The dog is cold. The dog is green. The dog visits the bear. The dog visits the cat. The rabbit eats the cat. The rabbit eats the dog. The rabbit is cold. The rabbit visits the bear. If someone eats the cat then they are round. If someone visits the cat and the cat eats the bear then they are cold. If someone chases the rabbit and they eat the rabbit then the rabbit visits the cat. If someone is round then they eat the dog. If someone visits the dog then they are blue. If someone is kind then they chase the dog.
The dog does not visit the dog.
@0: The bear chases the dog.[(triple1 OR ((triple4) -> rule6))] The bear eats the cat.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4)] The bear visits the dog.[(triple5)] The cat chases the bear.[(triple6)] The cat eats the dog.[(triple7)] The dog chases the cat.[(triple8)] The dog is cold.[(triple9)] The dog is green.[(triple10)] The dog visits the bear.[(triple11)] The dog visits the cat.[(triple12)] The rabbit eats the cat.[(triple13)] The rabbit eats the dog.[(triple14 OR ((((triple13) -> rule1)) -> rule4))] The rabbit is cold.[(triple15)] The rabbit visits the bear.[(triple16)] @1: The bear is blue.[(((triple5) -> rule5))] The bear is round.[(((triple2) -> rule1))] The rabbit is round.[(((triple13) -> rule1))] @2: The bear eats the dog.[(((((triple2) -> rule1)) -> rule4))]