The bald eagle is blue. The bald eagle is young. The bald eagle needs the cat. The cat eats the tiger. The tiger eats the bald eagle. The tiger eats the cat. The tiger is not round. The tiger likes the bald eagle. The tiger likes the cat. The tiger needs the cat. If something eats the cat then the cat eats the tiger. If something is young then it eats the bald eagle.
The cat does not eat the bald eagle.
@0: The bald eagle is blue.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the cat.[(triple3)] The cat eats the tiger.[(triple4 OR ((triple6) -> rule1))] The tiger eats the bald eagle.[(triple5)] The tiger eats the cat.[(triple6)] The tiger is not round.[(triple7)] The tiger likes the bald eagle.[(triple8)] The tiger likes the cat.[(triple9)] The tiger needs the cat.[(triple10)] @1: The bald eagle eats the bald eagle.[(((triple2) -> rule2))]