The bald eagle needs the rabbit. The lion is young. The lion likes the bald eagle. The lion needs the squirrel. The rabbit is green. The rabbit sees the lion. The squirrel likes the bald eagle. If someone is big then they see the rabbit. If the squirrel likes the rabbit and the squirrel is green then the squirrel is big. If someone needs the squirrel then they like the rabbit.
The rabbit does not see the rabbit.
@0: The bald eagle needs the rabbit.[(triple1)] The lion is young.[(triple2)] The lion likes the bald eagle.[(triple3)] The lion needs the squirrel.[(triple4)] The rabbit is green.[(triple5)] The rabbit sees the lion.[(triple6)] The squirrel likes the bald eagle.[(triple7)] @1: The lion likes the rabbit.[(((triple4) -> rule3))]