The mouse is kind. The mouse is red. The mouse is rough. All blue, rough things are cold. All blue things are not rough. If the mouse is kind then the mouse is rough.
The mouse is kind.
@0: The mouse is kind.[(triple1)] The mouse is red.[(triple2)] The mouse is rough.[(triple3 OR ((triple1) -> rule3))]