The bald eagle eats the lion. The bald eagle needs the rabbit. The bald eagle sees the dog. The bald eagle sees the rabbit. The dog eats the bald eagle. The dog eats the rabbit. The dog needs the lion. The lion needs the bald eagle. The lion needs the dog. The rabbit eats the lion. The rabbit is green. The rabbit is round. If something sees the rabbit then it eats the rabbit. If something sees the lion and it is blue then the lion sees the dog. If something eats the rabbit then it eats the dog. If something is green and it sees the lion then the lion eats the rabbit. If something is rough then it eats the lion. If something eats the dog and it eats the lion then the lion sees the rabbit. If something is rough and it sees the lion then the lion is blue.
The lion eats the dog.
@0: The bald eagle eats the lion.[(triple1)] The bald eagle needs the rabbit.[(triple2)] The bald eagle sees the dog.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The dog eats the bald eagle.[(triple5)] The dog eats the rabbit.[(triple6)] The dog needs the lion.[(triple7)] The lion needs the bald eagle.[(triple8)] The lion needs the dog.[(triple9)] The rabbit eats the lion.[(triple10)] The rabbit is green.[(triple11)] The rabbit is round.[(triple12)] @1: The bald eagle eats the rabbit.[(((triple4) -> rule1))] The dog eats the dog.[(((triple6) -> rule3))] @2: The bald eagle eats the dog.[(((((triple4) -> rule1)) -> rule3))] @3: The lion sees the rabbit.[(((((((triple4) -> rule1)) -> rule3) triple1) -> rule6))] @4: The lion eats the rabbit.[(((((((((triple4) -> rule1)) -> rule3) triple1) -> rule6)) -> rule1))] @5: The lion eats the dog.[(((((((((((triple4) -> rule1)) -> rule3) triple1) -> rule6)) -> rule1)) -> rule3))]