The bald eagle sees the lion. The lion chases the mouse. The lion sees the squirrel. The mouse chases the bald eagle. The mouse is red. The mouse sees the lion. The mouse visits the lion. The mouse visits the squirrel. The squirrel chases the bald eagle. The squirrel chases the mouse. The squirrel is green. If the lion visits the squirrel and the lion sees the squirrel then the lion chases the mouse. All nice people are green. If someone is kind then they chase the lion. If someone chases the lion and the lion chases the squirrel then they visit the mouse. If someone chases the mouse then the mouse is nice. If someone is green and they see the lion then the lion is nice. If someone sees the mouse then they are green. If someone is nice and they see the lion then the lion chases the squirrel. If someone chases the squirrel then they are kind.
The bald eagle chases the squirrel.
@0: The bald eagle sees the lion.[(triple1)] The lion chases the mouse.[(triple2)] The lion sees the squirrel.[(triple3)] The mouse chases the bald eagle.[(triple4)] The mouse is red.[(triple5)] The mouse sees the lion.[(triple6)] The mouse visits the lion.[(triple7)] The mouse visits the squirrel.[(triple8)] The squirrel chases the bald eagle.[(triple9)] The squirrel chases the mouse.[(triple10)] The squirrel is green.[(triple11)] @1: The mouse is nice.[(((triple10) -> rule5) OR ((triple2) -> rule5))] @2: The lion chases the squirrel.[(((((triple10) -> rule5) triple6) -> rule8) OR ((((triple2) -> rule5) triple6) -> rule8))] The mouse is green.[(((((triple10) -> rule5)) -> rule2) OR ((((triple2) -> rule5)) -> rule2))] @3: The lion is kind.[(((((((triple10) -> rule5) triple6) -> rule8)) -> rule9) OR ((((((triple2) -> rule5) triple6) -> rule8)) -> rule9))] The lion is nice.[(((((((triple10) -> rule5)) -> rule2) triple6) -> rule6) OR ((((((triple2) -> rule5)) -> rule2) triple6) -> rule6))] @4: The lion chases the lion.[(((((((((triple10) -> rule5) triple6) -> rule8)) -> rule9)) -> rule3) OR ((((((((triple2) -> rule5) triple6) -> rule8)) -> rule9)) -> rule3))] The lion is green.[(((((((((triple10) -> rule5)) -> rule2) triple6) -> rule6)) -> rule2) OR ((((((((triple2) -> rule5)) -> rule2) triple6) -> rule6)) -> rule2))] @5: The lion visits the mouse.[(((((((((((triple10) -> rule5) triple6) -> rule8)) -> rule9)) -> rule3) ((((triple10) -> rule5) triple6) -> rule8)) -> rule4) OR ((((((((((triple10) -> rule5) triple6) -> rule8)) -> rule9)) -> rule3) ((((triple2) -> rule5) triple6) -> rule8)) -> rule4) OR ((((((((((triple2) -> rule5) triple6) -> rule8)) -> rule9)) -> rule3) ((((triple10) -> rule5) triple6) -> rule8)) -> rule4) OR ((((((((((triple2) -> rule5) triple6) -> rule8)) -> rule9)) -> rule3) ((((triple2) -> rule5) triple6) -> rule8)) -> rule4))]