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 is nice.
@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))]