The bear is blue. The bear sees the dog. The bear sees the tiger. The bear visits the lion. The dog is red. The dog visits the bear. The lion is blue. The lion is nice. The lion likes the dog. The lion sees the bear. The lion sees the dog. The lion visits the dog. The tiger sees the bear. The tiger sees the dog. The tiger visits the lion. If someone visits the lion and the lion visits the tiger then the lion likes the bear. If someone is rough and they visit the lion then they like the tiger. If someone visits the bear then they like the dog. If the dog is nice then the dog sees the tiger. If the tiger likes the bear then the bear sees the lion. If someone sees the dog and they see the bear then they like the lion.
The lion is blue.
@0: The bear is blue.[(triple1)] The bear sees the dog.[(triple2)] The bear sees the tiger.[(triple3)] The bear visits the lion.[(triple4)] The dog is red.[(triple5)] The dog visits the bear.[(triple6)] The lion is blue.[(triple7)] The lion is nice.[(triple8)] The lion likes the dog.[(triple9)] The lion sees the bear.[(triple10)] The lion sees the dog.[(triple11)] The lion visits the dog.[(triple12)] The tiger sees the bear.[(triple13)] The tiger sees the dog.[(triple14)] The tiger visits the lion.[(triple15)] @1: The dog likes the dog.[(((triple6) -> rule3))] The lion likes the lion.[(((triple11 triple10) -> rule6))] The tiger likes the lion.[(((triple14 triple13) -> rule6))]