The mouse is kind. The mouse is nice. The mouse is red. Red people are round.
The mouse likes the mouse.
@0: The mouse is kind.[(triple1)] The mouse is nice.[(triple2)] The mouse is red.[(triple3)] @1: The mouse is round.[(((triple3) -> rule1))]