The mouse is blue. The mouse is cold. The mouse is rough. Nice people are cold. All nice people are green. If someone is rough then they are cold.
The mouse is rough.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2 OR ((triple3) -> rule3))] The mouse is rough.[(triple3)]