The bald eagle is big. The bald eagle is young. The bald eagle needs the tiger. The bald eagle visits the tiger. The tiger eats the bald eagle. The tiger is big. The tiger needs the bald eagle. If someone needs the tiger and they need the bald eagle then the bald eagle is big. If someone needs the tiger then they are cold. If someone is young then they need the tiger. If the bald eagle is kind then the bald eagle is round. If someone needs the tiger and they eat the bald eagle then they visit the bald eagle. If someone visits the tiger then they eat the tiger. If the bald eagle eats the tiger then the bald eagle visits the tiger. If someone is round then they visit the bald eagle.
The bald eagle eats the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is young.[(triple2)] The bald eagle needs the tiger.[(triple3 OR ((triple2) -> rule3))] The bald eagle visits the tiger.[(triple4)] The tiger eats the bald eagle.[(triple5)] The tiger is big.[(triple6)] The tiger needs the bald eagle.[(triple7)] @1: The bald eagle eats the tiger.[(((triple4) -> rule6))] The bald eagle is cold.[(((triple3) -> rule2) OR ((((triple2) -> rule3)) -> rule2))]