The bear chases the lion. The bear is kind. The bear is red. The bear is round. The bear sees the dog. The bear visits the dog. The dog visits the lion. The lion is rough. The lion visits the bear. The mouse chases the bear. The mouse chases the dog. The mouse chases the lion. If something sees the bear then it chases the dog. If something is red then it sees the bear.
The dog does not chase the dog.
@0: The bear chases the lion.[(triple1)] The bear is kind.[(triple2)] The bear is red.[(triple3)] The bear is round.[(triple4)] The bear sees the dog.[(triple5)] The bear visits the dog.[(triple6)] The dog visits the lion.[(triple7)] The lion is rough.[(triple8)] The lion visits the bear.[(triple9)] The mouse chases the bear.[(triple10)] The mouse chases the dog.[(triple11)] The mouse chases the lion.[(triple12)] @1: The bear sees the bear.[(((triple3) -> rule2))] @2: The bear chases the dog.[(((((triple3) -> rule2)) -> rule1))]