The bald eagle visits the lion. The lion is rough. If the lion visits the bald eagle then the bald eagle visits the lion. If the bald eagle needs the lion then the lion needs the bald eagle. If someone is cold then they need the lion. If someone visits the bald eagle then they visit the lion. If someone needs the lion and the lion visits the bald eagle then they are big. If someone is rough then they need the bald eagle. If someone chases the lion and the lion chases the bald eagle then the lion is rough. If someone needs the bald eagle and the bald eagle visits the lion then they visit the bald eagle.
The lion does not need the bald eagle.
@0: The bald eagle visits the lion.[(triple1)] The lion is rough.[(triple2)] @1: The lion needs the bald eagle.[(((triple2) -> rule6))] @2: The lion visits the bald eagle.[(((((triple2) -> rule6) triple1) -> rule8))] @3: The lion visits the lion.[(((((((triple2) -> rule6) triple1) -> rule8)) -> rule4))]