The bear sees the lion. The bear visits the lion. The lion is red. If someone needs the bear and they visit the bear then they visit the lion. If someone is kind and they see the bear then they are not rough. If someone needs the lion and the lion visits the bear then the bear needs the lion. If someone needs the bear then they need the lion. If someone visits the lion then they need the lion. If the lion visits the bear and the bear visits the lion then the bear is rough. All kind people are red. If someone needs the lion then the lion needs the bear.
The bear sees the lion.
@0: The bear sees the lion.[(triple1)] The bear visits the lion.[(triple2)] The lion is red.[(triple3)] @1: The bear needs the lion.[(((triple2) -> rule5))] @2: The lion needs the bear.[(((((triple2) -> rule5)) -> rule8))] @3: The lion needs the lion.[(((((((triple2) -> rule5)) -> rule8)) -> rule4))]