The mouse is big. The mouse is blue. The mouse is cold. If something is cold then it is rough.
The mouse does not visit the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is cold.[(triple3)] @1: The mouse is rough.[(((triple3) -> rule1))]