The bald eagle needs the lion. The bald eagle needs the tiger. The lion is rough. The lion is round. The lion needs the tiger. The tiger eats the lion. The tiger is big. The tiger is nice. The tiger needs the bald eagle. The tiger visits the lion. If someone visits the lion then they visit the bald eagle. If someone is round then they need the tiger. If someone visits the bald eagle then they need the lion. If the lion is round then the lion needs the bald eagle. If someone eats the tiger then they eat the lion. If someone needs the lion and they eat the lion then the lion is big.
The tiger visits the bald eagle.
@0: The bald eagle needs the lion.[(triple1)] The bald eagle needs the tiger.[(triple2)] The lion is rough.[(triple3)] The lion is round.[(triple4)] The lion needs the tiger.[(triple5 OR ((triple4) -> rule2))] The tiger eats the lion.[(triple6)] The tiger is big.[(triple7)] The tiger is nice.[(triple8)] The tiger needs the bald eagle.[(triple9)] The tiger visits the lion.[(triple10)] @1: The lion needs the bald eagle.[(((triple4) -> rule4))] The tiger visits the bald eagle.[(((triple10) -> rule1))] @2: The tiger needs the lion.[(((((triple10) -> rule1)) -> rule3))] @3: The lion is big.[(((((((triple10) -> rule1)) -> rule3) triple6) -> rule6))]