The mouse is green. The mouse is red. The mouse is rough. All red, green things are nice. If the mouse is kind then the mouse is green. If the mouse is kind then the mouse is green.
The mouse is rough.
@0: The mouse is green.[(triple1)] The mouse is red.[(triple2)] The mouse is rough.[(triple3)] @1: The mouse is nice.[(((triple2 triple1) -> rule1))]