The mouse is nice. If the mouse is red then the mouse is nice. All red people are green. Green people are kind. Nice people are red. If the mouse is nice and the mouse is not green then the mouse is rough. If the mouse is not rough then the mouse is kind.
The mouse visits the mouse.
@0: The mouse is nice.[(triple1)] @1: The mouse is red.[(((triple1) -> rule4))] @2: The mouse is green.[(((((triple1) -> rule4)) -> rule2))] @3: The mouse is kind.[(((((((triple1) -> rule4)) -> rule2)) -> rule3))]