The bald eagle is big. The bald eagle visits the tiger. The lion chases the bald eagle. The lion eats the bald eagle. The lion eats the tiger. The lion visits the bald eagle. The lion visits the tiger. The tiger chases the bald eagle. The tiger chases the lion. The tiger eats the lion. The tiger visits the bald eagle. The tiger visits the lion. If someone visits the tiger and they visit the lion then the tiger is big. If someone chases the lion and they are big then they are cold. If someone chases the tiger then they visit the lion. If someone chases the lion then the lion chases the tiger. If someone eats the bald eagle and the bald eagle eats the tiger then the bald eagle visits the lion. If someone chases the bald eagle then they visit the bald eagle.
The lion is not round.
@0: The bald eagle is big.[(triple1)] The bald eagle visits the tiger.[(triple2)] The lion chases the bald eagle.[(triple3)] The lion eats the bald eagle.[(triple4)] The lion eats the tiger.[(triple5)] The lion visits the bald eagle.[(triple6 OR ((triple3) -> rule6))] The lion visits the tiger.[(triple7)] The tiger chases the bald eagle.[(triple8)] The tiger chases the lion.[(triple9)] The tiger eats the lion.[(triple10)] The tiger visits the bald eagle.[(triple11 OR ((triple8) -> rule6))] The tiger visits the lion.[(triple12)] @1: The lion chases the tiger.[(((triple9) -> rule4))] @2: The lion visits the lion.[(((((triple9) -> rule4)) -> rule3))] @3: The tiger is big.[(((triple7 ((((triple9) -> rule4)) -> rule3)) -> rule1))] @4: The tiger is cold.[(((triple9 ((triple7 ((((triple9) -> rule4)) -> rule3)) -> rule1)) -> rule2))]