The bald eagle is not nice. The bald eagle likes the tiger. The bald eagle does not need the lion. The bald eagle visits the lion. The lion is young. The tiger is not cold. The tiger is rough. The tiger is young. The tiger likes the lion. The tiger needs the bald eagle. The tiger needs the lion. The tiger does not visit the lion. If someone is rough then they need the tiger. If someone visits the lion then they need the tiger. If someone needs the tiger and the tiger does not like the lion then they do not need the lion. If someone is cold and they visit the bald eagle then the bald eagle does not like the tiger. If someone needs the lion and the lion likes the bald eagle then they are not nice. If someone needs the tiger then the tiger likes the bald eagle. If someone likes the bald eagle and the bald eagle needs the tiger then they visit the tiger. If the lion needs the tiger then the lion likes the tiger.
The lion visits the lion.
@0: The bald eagle does not need the lion.[(triple3)] The bald eagle is not nice.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle visits the lion.[(triple4)] The lion is young.[(triple5)] The tiger does not visit the lion.[(triple12)] The tiger is not cold.[(triple6)] The tiger is rough.[(triple7)] The tiger is young.[(triple8)] The tiger likes the lion.[(triple9)] The tiger needs the bald eagle.[(triple10)] The tiger needs the lion.[(triple11)] @1: The bald eagle needs the tiger.[(((triple4) -> rule2))] The tiger needs the tiger.[(((triple7) -> rule1))] @2: The tiger likes the bald eagle.[(((((triple4) -> rule2)) -> rule6) OR ((((triple7) -> rule1)) -> rule6))] @3: The tiger visits the tiger.[(((((((triple4) -> rule2)) -> rule6) ((triple4) -> rule2)) -> rule7) OR ((((((triple7) -> rule1)) -> rule6) ((triple4) -> rule2)) -> rule7))]