The bald eagle eats the tiger. The bald eagle is young. The bald eagle does not visit the cat. The cat does not chase the bald eagle. The tiger chases the bald eagle. The tiger is blue. The tiger does not visit the bald eagle. If the tiger is red then the tiger chases the cat. Red people are round. If someone visits the tiger and the tiger eats the bald eagle then the bald eagle eats the tiger. If the tiger is not young then the tiger visits the cat. If someone chases the tiger and the tiger eats the cat then the tiger is blue. If someone chases the bald eagle then the bald eagle eats the cat. If someone chases the tiger then they eat the cat. If someone eats the cat then they do not visit the tiger.
The bald eagle eats the bald eagle.
@0: The bald eagle does not visit the cat.[(triple3)] The bald eagle eats the tiger.[(triple1)] The bald eagle is young.[(triple2)] The cat does not chase the bald eagle.[(triple4)] The tiger chases the bald eagle.[(triple5)] The tiger does not visit the bald eagle.[(triple7)] The tiger is blue.[(triple6)] @1: The bald eagle eats the cat.[(((triple5) -> rule6))] @2: The bald eagle does not visit the tiger.[(((((triple5) -> rule6)) -> rule8))]