The bear is kind. The lion likes the bear. If someone visits the bear then they need the lion. If the lion needs the bear then the lion likes the bear. If someone needs the lion then they are not kind. If the lion likes the bear and the bear likes the lion then the bear visits the lion. If someone likes the bear then they visit the bear. If the bear needs the lion then the lion does not need the bear. If someone likes the lion and they do not need the lion then the lion is green. If someone is kind and they do not visit the lion then they are not green.
The lion is not kind.
@0: The bear is kind.[(triple1)] The lion likes the bear.[(triple2)] @1: The lion visits the bear.[(((triple2) -> rule5))] @2: The lion needs the lion.[(((((triple2) -> rule5)) -> rule1))] @3: The lion is not kind.[(((((((triple2) -> rule5)) -> rule1)) -> rule3))]