The bear sees the lion. The lion chases the mouse. The mouse is red. The rabbit chases the bear. If someone is red then they do not need the bear. If the lion sees the rabbit and the lion sees the bear then the bear sees the mouse. If someone is kind and they do not chase the bear then they do not see the bear. If someone chases the lion and the lion chases the mouse then the mouse is red. If someone chases the rabbit then they are blue. If the mouse is red and the mouse does not need the bear then the mouse chases the rabbit.
The mouse is blue.
@0: The bear sees the lion.[(triple1)] The lion chases the mouse.[(triple2)] The mouse is red.[(triple3)] The rabbit chases the bear.[(triple4)] @1: The mouse does not need the bear.[(((triple3) -> rule1))] @2: The mouse chases the rabbit.[(((triple3 ((triple3) -> rule1)) -> rule6))] @3: The mouse is blue.[(((((triple3 ((triple3) -> rule1)) -> rule6)) -> rule5))]