The bald eagle likes the squirrel. The lion chases the rabbit. The rabbit chases the bald eagle. The rabbit is red. The rabbit likes the bald eagle. The rabbit visits the lion. The squirrel likes the rabbit. If someone chases the bald eagle and they are cold then the bald eagle chases the lion. If someone is cold then they visit the squirrel. If someone chases the lion then the lion is red. If someone likes the bald eagle then they visit the squirrel. If someone is red then they chase the squirrel. If someone chases the squirrel then they are cold. If someone is blue and they chase the lion then they chase the bald eagle. If the lion likes the bald eagle and the lion likes the rabbit then the rabbit is cold.
The rabbit chases the squirrel.
@0: The bald eagle likes the squirrel.[(triple1)] The lion chases the rabbit.[(triple2)] The rabbit chases the bald eagle.[(triple3)] The rabbit is red.[(triple4)] The rabbit likes the bald eagle.[(triple5)] The rabbit visits the lion.[(triple6)] The squirrel likes the rabbit.[(triple7)] @1: The rabbit chases the squirrel.[(((triple4) -> rule5))] The rabbit visits the squirrel.[(((triple5) -> rule4) OR ((((((triple4) -> rule5)) -> rule6)) -> rule2))] @2: The rabbit is cold.[(((((triple4) -> rule5)) -> rule6))] @3: The bald eagle chases the lion.[(((triple3 ((((triple4) -> rule5)) -> rule6)) -> rule1))] @4: The lion is red.[(((((triple3 ((((triple4) -> rule5)) -> rule6)) -> rule1)) -> rule3))] @5: The lion chases the squirrel.[(((((((triple3 ((((triple4) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule5))] @6: The lion is cold.[(((((((((triple3 ((((triple4) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule5)) -> rule6))] @7: The lion visits the squirrel.[(((((((((((triple3 ((((triple4) -> rule5)) -> rule6)) -> rule1)) -> rule3)) -> rule5)) -> rule6)) -> rule2))]