The bald eagle eats the dog. The bald eagle likes the bear. The bald eagle needs the tiger. The bear eats the dog. The bear is big. The bear likes the dog. The dog eats the bald eagle. The dog needs the bald eagle. The dog needs the bear. The tiger is kind. The tiger likes the bear. The tiger needs the bald eagle. If someone is young then they like the bald eagle. If someone is blue and they eat the tiger then they need the bear. If someone eats the bald eagle then they need the dog. If someone likes the bald eagle and the bald eagle eats the bear then they like the tiger. If someone needs the tiger then they are kind. If someone eats the bear and the bear is young then the bear likes the bald eagle. If someone needs the dog then they are young. If someone is kind then they need the bear.
The bear eats the dog.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle needs the tiger.[(triple3)] The bear eats the dog.[(triple4)] The bear is big.[(triple5)] The bear likes the dog.[(triple6)] The dog eats the bald eagle.[(triple7)] The dog needs the bald eagle.[(triple8)] The dog needs the bear.[(triple9)] The tiger is kind.[(triple10)] The tiger likes the bear.[(triple11)] The tiger needs the bald eagle.[(triple12)] @1: The bald eagle is kind.[(((triple3) -> rule5))] The dog needs the dog.[(((triple7) -> rule3))] The tiger needs the bear.[(((triple10) -> rule8))] @2: The bald eagle needs the bear.[(((((triple3) -> rule5)) -> rule8))] The dog is young.[(((((triple7) -> rule3)) -> rule7))] @3: The dog likes the bald eagle.[(((((((triple7) -> rule3)) -> rule7)) -> rule1))]