The bald eagle does not eat the tiger. The cow likes the tiger. The tiger is kind. If someone chases the cow then they are young. If someone likes the bald eagle then the bald eagle is not young. If someone eats the cow and they chase the tiger then they chase the cow. If someone likes the tiger and they do not chase the bald eagle then they eat the bald eagle. If someone chases the bald eagle then the bald eagle chases the tiger. If someone is kind then they chase the tiger. If someone likes the tiger then the tiger eats the cow. If someone chases the tiger then they do not eat the tiger.
The cow is cold.
@0: The bald eagle does not eat the tiger.[(triple1)] The cow likes the tiger.[(triple2)] The tiger is kind.[(triple3)] @1: The tiger chases the tiger.[(((triple3) -> rule6))] The tiger eats the cow.[(((triple2) -> rule7))] @2: The tiger chases the cow.[(((((triple2) -> rule7) ((triple3) -> rule6)) -> rule3))] The tiger does not eat the tiger.[(((((triple3) -> rule6)) -> rule8))] @3: The tiger is young.[(((((((triple2) -> rule7) ((triple3) -> rule6)) -> rule3)) -> rule1))]