The bear is cold. The dog likes the bear. If someone eats the dog then the dog sees the bear. If someone sees the bear then the bear eats the dog. If the bear likes the dog and the bear is blue then the bear sees the dog. If someone sees the dog then they are kind. If the bear sees the dog then the bear is green. If someone is cold then they see the bear. If someone eats the bear and they eat the dog then the bear sees the dog. If the bear eats the dog then the dog is cold.
The bear does not see the dog.
@0: The bear is cold.[(triple1)] The dog likes the bear.[(triple2)] @1: The bear sees the bear.[(((triple1) -> rule6))] @2: The bear eats the dog.[(((((triple1) -> rule6)) -> rule2))] @3: The dog is cold.[(((((((triple1) -> rule6)) -> rule2)) -> rule8))] The dog sees the bear.[(((((((triple1) -> rule6)) -> rule2)) -> rule1) OR ((((((((triple1) -> rule6)) -> rule2)) -> rule8)) -> rule6))]