The bald eagle is green. The bald eagle is round. The bald eagle is young. The lion chases the mouse. The lion visits the bald eagle. The mouse does not visit the bald eagle. The rabbit does not visit the lion. If someone is round then they chase the lion. If someone is big then they chase the bald eagle. If someone needs the rabbit and they chase the rabbit then they visit the mouse. If someone chases the rabbit then they are not cold. If someone chases the rabbit and the rabbit is young then the rabbit chases the mouse. If someone chases the lion then they are big.
The lion needs the bald eagle.
@0: The bald eagle is green.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle is young.[(triple3)] The lion chases the mouse.[(triple4)] The lion visits the bald eagle.[(triple5)] The mouse does not visit the bald eagle.[(triple6)] The rabbit does not visit the lion.[(triple7)] @1: The bald eagle chases the lion.[(((triple2) -> rule1))] @2: The bald eagle is big.[(((((triple2) -> rule1)) -> rule6))] @3: The bald eagle chases the bald eagle.[(((((((triple2) -> rule1)) -> rule6)) -> rule2))]