The mouse is blue. The mouse is kind. The mouse is rough. Kind things are young. Nice, kind things are rough. Blue, kind things are nice.
The mouse visits the mouse.
@0: The mouse is blue.[(triple1)] The mouse is kind.[(triple2)] The mouse is rough.[(triple3 OR ((((triple1 triple2) -> rule3) triple2) -> rule2))] @1: The mouse is nice.[(((triple1 triple2) -> rule3))] The mouse is young.[(((triple2) -> rule1))]