The bear sees the cat. The cat chases the dog. The dog is cold. The mouse eats the dog. If someone eats the mouse and they eat the bear then they are rough. If someone eats the dog then they see the bear.
The bear does not see the bear.
@0: The bear sees the cat.[(triple1)] The cat chases the dog.[(triple2)] The dog is cold.[(triple3)] The mouse eats the dog.[(triple4)] @1: The mouse sees the bear.[(((triple4) -> rule2))]