The bald eagle is kind. The cat chases the tiger. The mouse eats the tiger. The tiger eats the cat. If someone eats the tiger and the tiger does not need the bald eagle then the tiger needs the cat. If someone eats the mouse then the mouse is big. If someone needs the bald eagle and they eat the tiger then the bald eagle chases the cat. If the tiger eats the cat and the cat chases the bald eagle then the cat is not big. If someone is rough then they do not eat the tiger. If someone is green and they chase the tiger then they are big. If someone is big and they chase the mouse then the mouse is kind. If someone is kind then they eat the mouse.
The bald eagle does not eat the tiger.
@0: The bald eagle is kind.[(triple1)] The cat chases the tiger.[(triple2)] The mouse eats the tiger.[(triple3)] The tiger eats the cat.[(triple4)] @1: The bald eagle eats the mouse.[(((triple1) -> rule8))] @2: The mouse is big.[(((((triple1) -> rule8)) -> rule2))]