The bald eagle eats the dog. The dog eats the bald eagle. The lion likes the dog. The tiger needs the bald eagle. If someone eats the bald eagle then they eat the lion. If someone eats the tiger then the tiger is rough. If someone needs the bald eagle then they eat the bald eagle. If the lion needs the dog then the lion eats the dog. If someone is rough and they need the lion then they eat the lion. If someone eats the lion then they eat the dog.
The dog is nice.
@0: The bald eagle eats the dog.[(triple1)] The dog eats the bald eagle.[(triple2)] The lion likes the dog.[(triple3)] The tiger needs the bald eagle.[(triple4)] @1: The dog eats the lion.[(((triple2) -> rule1))] The tiger eats the bald eagle.[(((triple4) -> rule3))] @2: The dog eats the dog.[(((((triple2) -> rule1)) -> rule6))] The tiger eats the lion.[(((((triple4) -> rule3)) -> rule1))] @3: The tiger eats the dog.[(((((((triple4) -> rule3)) -> rule1)) -> rule6))]