The mouse is cold. The mouse is kind. The mouse is rough. Blue, cold things are rough. If something is cold then it is rough. If the mouse is not blue then the mouse is not kind. If the mouse is blue and the mouse is rough then the mouse is kind. If the mouse is cold then the mouse is kind. All rough things are not nice. If the mouse is nice then the mouse is rough. If something is nice and not rough then it is kind.
The mouse does not chase the mouse.
@0: The mouse is cold.[(triple1)] The mouse is kind.[(triple2 OR ((triple1) -> rule5))] The mouse is rough.[(triple3 OR ((triple1) -> rule2))] @1: The mouse is not nice.[(((triple3) -> rule6) OR ((((triple1) -> rule2)) -> rule6))]