The mouse is round. If something is round and young then it is kind. Round things are young. If something is red and kind then it is round. All red things are kind. If something is red and round then it is young. If the mouse is round and the mouse is young then the mouse is red.
The mouse visits the mouse.
@0: The mouse is round.[(triple1)] @1: The mouse is young.[(((triple1) -> rule2))] @2: The mouse is kind.[(((triple1 ((triple1) -> rule2)) -> rule1) OR ((((triple1 ((triple1) -> rule2)) -> rule6)) -> rule4))] The mouse is red.[(((triple1 ((triple1) -> rule2)) -> rule6))]