The bald eagle is blue. The bald eagle sees the squirrel. The lion chases the squirrel. The lion is cold. The lion visits the squirrel. The rabbit chases the bald eagle. The rabbit visits the squirrel. The squirrel is cold. The squirrel visits the lion. The squirrel visits the rabbit. If something sees the lion then it sees the squirrel. If the rabbit sees the bald eagle and the bald eagle visits the squirrel then the rabbit visits the lion. If something sees the bald eagle and it sees the squirrel then the squirrel is nice. If something is cold then it visits the rabbit. If the lion is round then the lion sees the bald eagle. If something is cold and it visits the rabbit then it sees the lion. If the lion chases the squirrel then the lion sees the rabbit. If the squirrel is kind then the squirrel chases the lion.
The squirrel visits the lion.
@0: The bald eagle is blue.[(triple1)] The bald eagle sees the squirrel.[(triple2)] The lion chases the squirrel.[(triple3)] The lion is cold.[(triple4)] The lion visits the squirrel.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit visits the squirrel.[(triple7)] The squirrel is cold.[(triple8)] The squirrel visits the lion.[(triple9)] The squirrel visits the rabbit.[(triple10 OR ((triple8) -> rule4))] @1: The lion sees the rabbit.[(((triple3) -> rule7))] The lion visits the rabbit.[(((triple4) -> rule4))] The squirrel sees the lion.[(((triple8 triple10) -> rule6) OR ((triple8 ((triple8) -> rule4)) -> rule6))] @2: The lion sees the lion.[(((triple4 ((triple4) -> rule4)) -> rule6))] The squirrel sees the squirrel.[(((((triple8 triple10) -> rule6)) -> rule1) OR ((((triple8 ((triple8) -> rule4)) -> rule6)) -> rule1))] @3: The lion sees the squirrel.[(((((triple4 ((triple4) -> rule4)) -> rule6)) -> rule1))]