The bear sees the dog. The bear sees the lion. The dog needs the bear. The dog sees the lion. The lion is kind. The lion needs the bear. The lion sees the dog. If someone is kind then they visit the bear. If someone sees the lion and the lion sees the dog then they see the bear. If someone visits the bear and they do not see the dog then they are not cold.
The dog does not see the lion.
@0: The bear sees the dog.[(triple1)] The bear sees the lion.[(triple2)] The dog needs the bear.[(triple3)] The dog sees the lion.[(triple4)] The lion is kind.[(triple5)] The lion needs the bear.[(triple6)] The lion sees the dog.[(triple7)] @1: The bear sees the bear.[(((triple2 triple7) -> rule2))] The dog sees the bear.[(((triple4 triple7) -> rule2))] The lion visits the bear.[(((triple5) -> rule1))]