The bald eagle is red. The bald eagle visits the lion. The bear is green. The lion is round. The lion sees the squirrel. The squirrel sees the bald eagle. The squirrel sees the bear. If something sees the squirrel then the squirrel is green. If the squirrel is green and the squirrel visits the lion then the squirrel visits the bear. If the bald eagle visits the squirrel then the bald eagle visits the bear. If something needs the squirrel and the squirrel is kind then it visits the squirrel. If something sees the bear then it sees the lion. If something sees the lion then it visits the squirrel. If something visits the squirrel then the squirrel needs the bald eagle. If something is red and kind then it sees the squirrel.
The bald eagle visits the squirrel.
@0: The bald eagle is red.[(triple1)] The bald eagle visits the lion.[(triple2)] The bear is green.[(triple3)] The lion is round.[(triple4)] The lion sees the squirrel.[(triple5)] The squirrel sees the bald eagle.[(triple6)] The squirrel sees the bear.[(triple7)] @1: The squirrel is green.[(((triple5) -> rule1))] The squirrel sees the lion.[(((triple7) -> rule5))] @2: The squirrel visits the squirrel.[(((((triple7) -> rule5)) -> rule6))] @3: The squirrel needs the bald eagle.[(((((((triple7) -> rule5)) -> rule6)) -> rule7))]