The mouse is kind. The mouse is nice. The mouse is young. If the mouse is cold and the mouse is not nice then the mouse is kind. Kind things are green. If something is young and not kind then it is green.
The mouse is not young.
@0: The mouse is kind.[(triple1)] The mouse is nice.[(triple2)] The mouse is young.[(triple3)] @1: The mouse is green.[(((triple1) -> rule2))]