The mouse is kind. The mouse is rough. The mouse is young. Young people are rough. Kind, rough people are green. Green people are big.
The mouse does not like the mouse.
@0: The mouse is kind.[(triple1)] The mouse is rough.[(triple2 OR ((triple3) -> rule1))] The mouse is young.[(triple3)] @1: The mouse is green.[(((triple1 triple2) -> rule2) OR ((triple1 ((triple3) -> rule1)) -> rule2))] @2: The mouse is big.[(((((triple1 triple2) -> rule2)) -> rule3) OR ((((triple1 ((triple3) -> rule1)) -> rule2)) -> rule3))]