The bald eagle is red. The bald eagle visits the dog. The bear eats the dog. The bear eats the lion. The bear is red. The bear sees the bald eagle. The bear sees the dog. The bear visits the dog. The dog eats the lion. The dog is blue. The dog sees the bear. The dog visits the lion. The lion eats the bear. The lion is blue. The lion is red. If someone is round and red then they eat the bald eagle. If the dog eats the bear and the bear is kind then the bear eats the lion. If someone eats the dog then they are kind. If someone visits the lion and the lion visits the bald eagle then the bald eagle eats the lion. If the lion sees the bear then the bear visits the lion. If someone is young and they eat the bald eagle then the bald eagle is round. If someone eats the lion and they visit the bald eagle then the bald eagle is red. Kind people are round.
The bear visits the lion.
@0: The bald eagle is red.[(triple1)] The bald eagle visits the dog.[(triple2)] The bear eats the dog.[(triple3)] The bear eats the lion.[(triple4)] The bear is red.[(triple5)] The bear sees the bald eagle.[(triple6)] The bear sees the dog.[(triple7)] The bear visits the dog.[(triple8)] The dog eats the lion.[(triple9)] The dog is blue.[(triple10)] The dog sees the bear.[(triple11)] The dog visits the lion.[(triple12)] The lion eats the bear.[(triple13)] The lion is blue.[(triple14)] The lion is red.[(triple15)] @1: The bear is kind.[(((triple3) -> rule3))] @2: The bear is round.[(((((triple3) -> rule3)) -> rule8))] @3: The bear eats the bald eagle.[(((((((triple3) -> rule3)) -> rule8) triple5) -> rule1))]