The bear is red. The dog chases the bear. The lion is red. The mouse chases the dog. The mouse is big. The mouse sees the bear. The mouse does not see the lion. If the bear is rough and the bear does not need the mouse then the bear sees the dog. If someone is big then they do not see the mouse. If someone sees the lion and the lion sees the mouse then the lion sees the dog.
The lion is red.
@0: The bear is red.[(triple1)] The dog chases the bear.[(triple2)] The lion is red.[(triple3)] The mouse chases the dog.[(triple4)] The mouse does not see the lion.[(triple7)] The mouse is big.[(triple5)] The mouse sees the bear.[(triple6)] @1: The mouse does not see the mouse.[(((triple5) -> rule2))]