The bald eagle is round. The bald eagle needs the tiger. The lion eats the bald eagle. The lion eats the tiger. The lion is nice. The lion is young. The lion needs the bald eagle. The lion needs the tiger. The lion visits the bald eagle. The tiger eats the bald eagle. The tiger is nice. The tiger is rough. The tiger needs the bald eagle. The tiger needs the lion. The tiger visits the lion. If someone visits the tiger then they are round. If someone is nice and they visit the tiger then they eat the tiger. If the lion needs the bald eagle then the bald eagle is nice. If someone is nice then they need the bald eagle. If someone needs the lion and the lion is cold then they need the tiger. If the bald eagle is rough and the bald eagle needs the tiger then the tiger eats the lion. If someone needs the lion then they visit the lion. If the tiger visits the lion and the tiger is round then the lion eats the tiger.
The lion is rough.
@0: The bald eagle is round.[(triple1)] The bald eagle needs the tiger.[(triple2)] The lion eats the bald eagle.[(triple3)] The lion eats the tiger.[(triple4)] The lion is nice.[(triple5)] The lion is young.[(triple6)] The lion needs the bald eagle.[(triple7 OR ((triple5) -> rule4))] The lion needs the tiger.[(triple8)] The lion visits the bald eagle.[(triple9)] The tiger eats the bald eagle.[(triple10)] The tiger is nice.[(triple11)] The tiger is rough.[(triple12)] The tiger needs the bald eagle.[(triple13 OR ((triple11) -> rule4))] The tiger needs the lion.[(triple14)] The tiger visits the lion.[(triple15 OR ((triple14) -> rule7))] @1: The bald eagle is nice.[(((triple7) -> rule3) OR ((((triple5) -> rule4)) -> rule3))] @2: The bald eagle needs the bald eagle.[(((((triple7) -> rule3)) -> rule4) OR ((((((triple5) -> rule4)) -> rule3)) -> rule4))]