The bald eagle eats the tiger. The bald eagle is kind. The bald eagle is round. The bald eagle is young. The bald eagle needs the tiger. The bald eagle sees the tiger. The tiger eats the bald eagle. The tiger is kind. The tiger is round. The tiger is young. The tiger needs the bald eagle. The tiger sees the bald eagle. If someone needs the tiger then they need the bald eagle.
The bald eagle is not young.
@0: The bald eagle eats the tiger.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is round.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the tiger.[(triple5)] The bald eagle sees the tiger.[(triple6)] The tiger eats the bald eagle.[(triple7)] The tiger is kind.[(triple8)] The tiger is round.[(triple9)] The tiger is young.[(triple10)] The tiger needs the bald eagle.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The bald eagle needs the bald eagle.[(((triple5) -> rule1))]