The bear is kind. The bear is nice. The bear visits the cow. The cow chases the bear. The cow chases the dog. The cow eats the bear. The cow eats the dog. The cow is red. The cow visits the dog. The dog eats the bear. The dog is red. The dog visits the bear. If something is kind then it is blue. If something is round then it chases the dog. If something is red and blue then it chases the bear. If something visits the bear then it chases the dog. If the dog eats the cow then the dog is red. If something is blue then it is round.
The bear does not chase the bear.
@0: The bear is kind.[(triple1)] The bear is nice.[(triple2)] The bear visits the cow.[(triple3)] The cow chases the bear.[(triple4)] The cow chases the dog.[(triple5)] The cow eats the bear.[(triple6)] The cow eats the dog.[(triple7)] The cow is red.[(triple8)] The cow visits the dog.[(triple9)] The dog eats the bear.[(triple10)] The dog is red.[(triple11)] The dog visits the bear.[(triple12)] @1: The bear is blue.[(((triple1) -> rule1))] The dog chases the dog.[(((triple12) -> rule4))] @2: The bear is round.[(((((triple1) -> rule1)) -> rule6))] @3: The bear chases the dog.[(((((((triple1) -> rule1)) -> rule6)) -> rule2))]