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