The bear sees the tiger. The dog is kind. The tiger is nice. If someone likes the bear and the bear chases the dog then the bear does not like the dog. If someone sees the dog then the dog sees the tiger. If the tiger chases the dog then the dog sees the tiger. If someone likes the bear then they do not see the tiger. If someone is kind then they chase the dog. If someone sees the bear and the bear likes the dog then they are nice. If the dog likes the tiger then the dog chases the bear. If someone is cold and they like the dog then they like the tiger.
The bear is not nice.
@0: The bear sees the tiger.[(triple1)] The dog is kind.[(triple2)] The tiger is nice.[(triple3)] @1: The dog chases the dog.[(((triple2) -> rule5))]