The bald eagle is young. The cat does not visit the tiger. The tiger likes the cat. If the tiger is not red and the tiger is not young then the tiger likes the bald eagle. If someone likes the cat then they like the tiger. If someone likes the bald eagle then they are nice.
The cat does not visit the tiger.
@0: The bald eagle is young.[(triple1)] The cat does not visit the tiger.[(triple2)] The tiger likes the cat.[(triple3)] @1: The tiger likes the tiger.[(((triple3) -> rule2))]