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