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