The bear is big. The bear is nice. The bear visits the lion. The dog chases the bear. The dog chases the lion. The dog is nice. The dog is rough. The dog sees the bear. The dog sees the lion. The dog visits the lion. The lion chases the dog. The lion is round. If someone is big then they chase the bear. If someone sees the dog then they visit the dog.
The lion is big.
@0: The bear is big.[(triple1)] The bear is nice.[(triple2)] The bear visits the lion.[(triple3)] The dog chases the bear.[(triple4)] The dog chases the lion.[(triple5)] The dog is nice.[(triple6)] The dog is rough.[(triple7)] The dog sees the bear.[(triple8)] The dog sees the lion.[(triple9)] The dog visits the lion.[(triple10)] The lion chases the dog.[(triple11)] The lion is round.[(triple12)] @1: The bear chases the bear.[(((triple1) -> rule1))]