The bald eagle is round. The bald eagle sees the lion. The bald eagle sees the squirrel. The lion is round. The lion is young. The lion sees the bald eagle. The squirrel chases the bald eagle. If something sees the squirrel and it chases the bald eagle then the bald eagle sees the squirrel. If something visits the squirrel then the squirrel sees the bald eagle. If something sees the lion and it is round then the lion visits the squirrel. If the lion chases the bald eagle then the bald eagle sees the squirrel. If something is blue and round then it chases the bald eagle. If something visits the lion and it is blue then the lion visits the squirrel. If something sees the bald eagle then it is red. If something is rough and red then it is young.
The squirrel is young.
@0: The bald eagle is round.[(triple1)] The bald eagle sees the lion.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The lion is round.[(triple4)] The lion is young.[(triple5)] The lion sees the bald eagle.[(triple6)] The squirrel chases the bald eagle.[(triple7)] @1: The lion is red.[(((triple6) -> rule7))] The lion visits the squirrel.[(((triple2 triple1) -> rule3))] @2: The squirrel sees the bald eagle.[(((((triple2 triple1) -> rule3)) -> rule2))] @3: The squirrel is red.[(((((((triple2 triple1) -> rule3)) -> rule2)) -> rule7))]