The bear chases the dog. The dog sees the mouse. The mouse visits the bear. If someone is blue and they see the bear then they are cold. If someone chases the dog then they visit the dog. If someone sees the dog then they see the bear. If someone is blue then they see the bear. If the bear is red then the bear is nice. All kind, blue people are red. If someone chases the bear then the bear sees the mouse. If someone is red then they see the bear.
The bear is blue.
@0: The bear chases the dog.[(triple1)] The dog sees the mouse.[(triple2)] The mouse visits the bear.[(triple3)] @1: The bear visits the dog.[(((triple1) -> rule2))]