The mouse is big. The mouse is blue. The mouse is nice. If the mouse is blue then the mouse is young. If the mouse is blue and the mouse is kind then the mouse is young. If the mouse is big then the mouse is blue. If the mouse is kind then the mouse is blue. If the mouse is young then the mouse is kind. If the mouse is young then the mouse is kind.
The mouse does not visit the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2 OR ((triple1) -> rule3))] The mouse is nice.[(triple3)] @1: The mouse is young.[(((triple2) -> rule1) OR ((((triple1) -> rule3)) -> rule1))] @2: The mouse is kind.[(((((triple2) -> rule1)) -> rule5) OR ((((triple2) -> rule1)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1)) -> rule5) OR ((((((triple1) -> rule3)) -> rule1)) -> rule6))]