The bear sees the dog. The dog likes the bear. The tiger sees the dog. If something sees the tiger and it sees the dog then it likes the bear. If the bear chases the tiger then the bear sees the tiger. If something likes the tiger and the tiger chases the dog then the tiger sees the bear. If the tiger likes the bear and the tiger chases the dog then the dog sees the bear. If something is blue then it sees the bear. If something sees the dog then it likes the dog. If the tiger is red and the tiger sees the bear then the bear chases the dog. If something sees the bear then it chases the tiger.
The bear does not like the bear.
@0: The bear sees the dog.[(triple1)] The dog likes the bear.[(triple2)] The tiger sees the dog.[(triple3)] @1: The bear likes the dog.[(((triple1) -> rule6))] The tiger likes the dog.[(((triple3) -> rule6))]