The bald eagle is red. The bald eagle likes the tiger. The bald eagle needs the bear. The bald eagle visits the bear. The bear needs the lion. The bear visits the lion. The bear visits the tiger. The lion is red. The lion is rough. The lion does not like the bear. The lion needs the bald eagle. The tiger likes the bald eagle. The tiger likes the bear. The tiger does not visit the bear. The tiger does not visit the lion. If something visits the lion and the lion likes the bear then the lion visits the bear. If something needs the lion then it likes the lion. If something likes the bald eagle and it is rough then it does not like the lion. If something is kind then it likes the bald eagle. If something needs the lion then the lion likes the tiger. If something visits the tiger and the tiger likes the bear then it needs the bear. Red things are kind. If something is young and it likes the bald eagle then the bald eagle does not need the tiger.
The lion likes the lion.
@0: The bald eagle is red.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear needs the lion.[(triple5)] The bear visits the lion.[(triple6)] The bear visits the tiger.[(triple7)] The lion does not like the bear.[(triple10)] The lion is red.[(triple8)] The lion is rough.[(triple9)] The lion needs the bald eagle.[(triple11)] The tiger does not visit the bear.[(triple14)] The tiger does not visit the lion.[(triple15)] The tiger likes the bald eagle.[(triple12)] The tiger likes the bear.[(triple13)] @1: The bald eagle is kind.[(((triple1) -> rule7))] The bear likes the lion.[(((triple5) -> rule2))] The bear needs the bear.[(((triple7 triple13) -> rule6))] The lion is kind.[(((triple8) -> rule7))] The lion likes the tiger.[(((triple5) -> rule5))] @2: The bald eagle likes the bald eagle.[(((((triple1) -> rule7)) -> rule4))] The lion likes the bald eagle.[(((((triple8) -> rule7)) -> rule4))] @3: The lion does not like the lion.[(((((((triple8) -> rule7)) -> rule4) triple9) -> rule3))]