The bald eagle is not round. The bald eagle is young. The bald eagle visits the bear. The bear chases the lion. The bear is not nice. The bear visits the bald eagle. The bear visits the lion. The lion is nice. The lion is round. The lion visits the bald eagle. If someone chases the bear then they visit the lion. If someone visits the bear then the bear sees the bald eagle. If someone sees the bald eagle and they are round then the bald eagle is cold. If someone sees the bald eagle then they do not see the lion. If someone is cold and they do not see the lion then they are not young. If someone is round then they see the bear. If someone chases the bald eagle then they see the bear. If the lion is round and the bear does not see the lion then the bear chases the bald eagle.
The bald eagle visits the lion.
@0: The bald eagle is not round.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear chases the lion.[(triple4)] The bear is not nice.[(triple5)] The bear visits the bald eagle.[(triple6)] The bear visits the lion.[(triple7)] The lion is nice.[(triple8)] The lion is round.[(triple9)] The lion visits the bald eagle.[(triple10)] @1: The bear sees the bald eagle.[(((triple3) -> rule2))] The lion sees the bear.[(((triple9) -> rule6))] @2: The bear does not see the lion.[(((((triple3) -> rule2)) -> rule4))] @3: The bear chases the bald eagle.[(((triple9 ((((triple3) -> rule2)) -> rule4)) -> rule8))] @4: The bear sees the bear.[(((((triple9 ((((triple3) -> rule2)) -> rule4)) -> rule8)) -> rule7))]