The bald eagle chases the tiger. The cat eats the tiger. The tiger does not chase the cat. If something is blue then it needs the bald eagle. If the bald eagle eats the cat and the bald eagle is not kind then the bald eagle is nice. If something eats the tiger then the tiger eats the bald eagle. If something eats the tiger and it is not kind then the tiger eats the bald eagle. If the tiger eats the cat and the tiger eats the bald eagle then the tiger chases the bald eagle. If something eats the bald eagle then the bald eagle eats the cat. If something is green and it chases the tiger then it needs the tiger. If something eats the cat then it is not blue.
The tiger is cold.
@0: The bald eagle chases the tiger.[(triple1)] The cat eats the tiger.[(triple2)] The tiger does not chase the cat.[(triple3)] @1: The tiger eats the bald eagle.[(((triple2) -> rule3))] @2: The bald eagle eats the cat.[(((((triple2) -> rule3)) -> rule6))] @3: The bald eagle is not blue.[(((((((triple2) -> rule3)) -> rule6)) -> rule8))]