The bald eagle likes the lion. The lion is cold. The rabbit visits the lion. If something likes the bald eagle then the bald eagle eats the lion. If something visits the bald eagle and it likes the lion then it is young. All cold things are young. If something likes the lion then it likes the bald eagle. If the bald eagle likes the rabbit then the rabbit is young. If something likes the bald eagle then it is cold. If something is young then it likes the bald eagle. If something visits the bald eagle then it visits the rabbit.
The lion is green.
@0: The bald eagle likes the lion.[(triple1)] The lion is cold.[(triple2)] The rabbit visits the lion.[(triple3)] @1: The bald eagle likes the bald eagle.[(((triple1) -> rule4))] The lion is young.[(((triple2) -> rule3))] @2: The bald eagle eats the lion.[(((((triple1) -> rule4)) -> rule1) OR ((((((triple2) -> rule3)) -> rule7)) -> rule1))] The bald eagle is cold.[(((((triple1) -> rule4)) -> rule6))] The lion likes the bald eagle.[(((((triple2) -> rule3)) -> rule7))] @3: The bald eagle is young.[(((((((triple1) -> rule4)) -> rule6)) -> rule3))]