The bear chases the lion. The bear is kind. The bear is round. The bear visits the tiger. The cat is blue. The cat is round. The cat visits the lion. The lion chases the tiger. The lion is blue. The lion visits the bear. The lion visits the tiger. The tiger visits the cat. If someone visits the bear and they like the lion then the bear visits the lion. If the bear likes the cat and the bear chases the lion then the cat chases the bear. If someone visits the lion then the lion likes the bear. If someone is big and they visit the bear then they chase the bear. If someone chases the bear and they visit the tiger then the bear is young. If someone visits the cat and the cat likes the tiger then the tiger visits the bear.
The cat does not visit the lion.
@0: The bear chases the lion.[(triple1)] The bear is kind.[(triple2)] The bear is round.[(triple3)] The bear visits the tiger.[(triple4)] The cat is blue.[(triple5)] The cat is round.[(triple6)] The cat visits the lion.[(triple7)] The lion chases the tiger.[(triple8)] The lion is blue.[(triple9)] The lion visits the bear.[(triple10)] The lion visits the tiger.[(triple11)] The tiger visits the cat.[(triple12)] @1: The lion likes the bear.[(((triple7) -> rule3))]