The bald eagle is round. The lion needs the bald eagle. The squirrel visits the lion. If something is red and kind then it needs the squirrel. If something visits the squirrel then the squirrel visits the bald eagle. If something needs the bald eagle then it eats the bald eagle. If something needs the bald eagle and the bald eagle needs the squirrel then it is rough. If something visits the lion then it eats the lion. If something visits the squirrel then the squirrel needs the lion. If something is kind then it is red. If something eats the bald eagle then the bald eagle visits the squirrel.
The bald eagle is rough.
@0: The bald eagle is round.[(triple1)] The lion needs the bald eagle.[(triple2)] The squirrel visits the lion.[(triple3)] @1: The lion eats the bald eagle.[(((triple2) -> rule3))] The squirrel eats the lion.[(((triple3) -> rule5))] @2: The bald eagle visits the squirrel.[(((((triple2) -> rule3)) -> rule8))] @3: The squirrel needs the lion.[(((((((triple2) -> rule3)) -> rule8)) -> rule6))] The squirrel visits the bald eagle.[(((((((triple2) -> rule3)) -> rule8)) -> rule2))]