The bald eagle is kind. The bald eagle needs the bear. The bear is kind. The lion needs the bear. The squirrel is kind. The squirrel needs the bald eagle. The squirrel visits the lion. If someone is blue and rough then they need the bear. If someone needs the bald eagle then they are blue. If someone needs the lion then they eat the lion. If someone eats the bear then the bear is kind. If someone is blue then they visit the bear. If the lion is rough and the lion eats the squirrel then the lion is blue. If someone is blue and they visit the bear then the bear needs the bald eagle.
The bear needs the bald eagle.
@0: The bald eagle is kind.[(triple1)] The bald eagle needs the bear.[(triple2)] The bear is kind.[(triple3)] The lion needs the bear.[(triple4)] The squirrel is kind.[(triple5)] The squirrel needs the bald eagle.[(triple6)] The squirrel visits the lion.[(triple7)] @1: The squirrel is blue.[(((triple6) -> rule2))] @2: The squirrel visits the bear.[(((((triple6) -> rule2)) -> rule5))] @3: The bear needs the bald eagle.[(((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule7))] @4: The bear is blue.[(((((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule2))] @5: The bear visits the bear.[(((((((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule5)) -> rule7)) -> rule2)) -> rule5))]