The bald eagle is blue. The bald eagle likes the lion. The bald eagle sees the lion. The bald eagle sees the squirrel. The bald eagle visits the lion. The lion is cold. The lion is kind. The lion likes the squirrel. The lion sees the bald eagle. The squirrel is blue. The squirrel is red. The squirrel is young. The squirrel likes the lion. The squirrel sees the bald eagle. The squirrel visits the bald eagle. If someone sees the lion and the lion is young then the lion visits the squirrel. If the squirrel visits the lion and the squirrel sees the bald eagle then the bald eagle sees the lion. If the bald eagle is young then the bald eagle visits the squirrel. If the lion is kind then the lion likes the squirrel. If someone likes the lion then they visit the bald eagle. If someone is kind and they see the bald eagle then they like the bald eagle. If someone likes the squirrel then they are young. If someone likes the bald eagle and they visit the squirrel then the bald eagle visits the squirrel.
The bald eagle is red.
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the lion.[(triple2)] The bald eagle sees the lion.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The bald eagle visits the lion.[(triple5)] The lion is cold.[(triple6)] The lion is kind.[(triple7)] The lion likes the squirrel.[(triple8 OR ((triple7) -> rule4))] The lion sees the bald eagle.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is red.[(triple11)] The squirrel is young.[(triple12)] The squirrel likes the lion.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel visits the bald eagle.[(triple15 OR ((triple13) -> rule5))] @1: The bald eagle visits the bald eagle.[(((triple2) -> rule5))] The lion is young.[(((triple8) -> rule7) OR ((((triple7) -> rule4)) -> rule7))] The lion likes the bald eagle.[(((triple7 triple9) -> rule6))] @2: The lion visits the squirrel.[(((triple3 ((triple8) -> rule7)) -> rule1) OR ((triple3 ((((triple7) -> rule4)) -> rule7)) -> rule1))] @3: The bald eagle visits the squirrel.[(((((triple7 triple9) -> rule6) ((triple3 ((triple8) -> rule7)) -> rule1)) -> rule8) OR ((((triple7 triple9) -> rule6) ((triple3 ((((triple7) -> rule4)) -> rule7)) -> rule1)) -> rule8))]