The mouse is cold. The mouse is red. The mouse is rough. Red people are cold. If the mouse is round and the mouse is not cold then the mouse is kind.
The mouse sees the mouse.
@0: The mouse is cold.[(triple1 OR ((triple2) -> rule1))] The mouse is red.[(triple2)] The mouse is rough.[(triple3)]