The mouse is big. Big things are cold. If something is cold and blue then it is green. Cold things are big. If the mouse is red then the mouse is cold. All red things are green. Cold things are red.
The mouse chases the mouse.
@0: The mouse is big.[(triple1)] @1: The mouse is cold.[(((triple1) -> rule1))] @2: The mouse is red.[(((((triple1) -> rule1)) -> rule6))] @3: The mouse is green.[(((((((triple1) -> rule1)) -> rule6)) -> rule5))]