The bald eagle is kind. The bald eagle likes the tiger. The dog is kind. The dog is young. The dog likes the bald eagle. The dog needs the tiger. The mouse likes the bald eagle. The mouse likes the dog. The tiger eats the mouse. The tiger is cold. The tiger is round. The tiger likes the bald eagle. If someone likes the mouse and they need the mouse then they are kind. All blue people are young. If someone needs the mouse then they eat the tiger. If someone likes the tiger and they like the mouse then the mouse likes the bald eagle. If someone needs the dog then they eat the mouse. If someone eats the bald eagle then they are cold. If someone is kind then they need the bald eagle. If someone needs the dog then they eat the bald eagle.
The bald eagle likes the bald eagle.
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the tiger.[(triple2)] The dog is kind.[(triple3)] The dog is young.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog needs the tiger.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse likes the dog.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is cold.[(triple10)] The tiger is round.[(triple11)] The tiger likes the bald eagle.[(triple12)] @1: The bald eagle needs the bald eagle.[(((triple1) -> rule7))] The dog needs the bald eagle.[(((triple3) -> rule7))]