The mouse is not cold. The mouse is green. The mouse is kind. The mouse is nice. The mouse is not young. All kind things are not young. If the mouse is cold and the mouse is young then the mouse is nice. Nice things are green. If something is cold and not young then it is not green. If something is green and not kind then it is not nice. All young, cold things are nice.
The mouse is not kind.
@0: The mouse is green.[(triple2 OR ((triple4) -> rule3))] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is not cold.[(triple1)] The mouse is not young.[(triple5 OR ((triple3) -> rule1))]