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