The bald eagle visits the lion. The lion visits the bald eagle. If someone needs the lion then the lion is cold. If someone likes the lion then the lion is cold. If someone needs the bald eagle then the bald eagle likes the lion. If someone visits the lion then the lion needs the bald eagle. If someone likes the lion and they need the lion then the lion needs the bald eagle. If someone is cold then they like the lion. If the bald eagle is not green then the bald eagle is blue. If someone visits the lion and they are not red then they are cold.
The bald eagle is blue.
@0: The bald eagle visits the lion.[(triple1)] The lion visits the bald eagle.[(triple2)] @1: The lion needs the bald eagle.[(((triple1) -> rule4))] @2: The bald eagle likes the lion.[(((((triple1) -> rule4)) -> rule3))] @3: The lion is cold.[(((((((triple1) -> rule4)) -> rule3)) -> rule2))] @4: The lion likes the lion.[(((((((((triple1) -> rule4)) -> rule3)) -> rule2)) -> rule6))]