The mouse is kind. The mouse is red. The mouse is rough. If the mouse is red then the mouse is young. Red things are kind. If something is nice and not kind then it is young. Kind, red things are young. All young things are rough. If the mouse is red and the mouse is young then the mouse is nice.
The mouse is red.
@0: The mouse is kind.[(triple1 OR ((triple2) -> rule2))] The mouse is red.[(triple2)] The mouse is rough.[(triple3 OR ((((triple2) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule4)) -> rule5) OR ((((((triple2) -> rule2) triple2) -> rule4)) -> rule5))] @1: The mouse is young.[(((triple2) -> rule1) OR ((triple1 triple2) -> rule4) OR ((((triple2) -> rule2) triple2) -> rule4))] @2: The mouse is nice.[(((triple2 ((triple2) -> rule1)) -> rule6) OR ((triple2 ((triple1 triple2) -> rule4)) -> rule6) OR ((triple2 ((((triple2) -> rule2) triple2) -> rule4)) -> rule6))]