The mouse is big. The mouse is blue. The mouse is cold. The mouse is kind. The mouse is round. All kind, cold things are round.
The mouse does not visit the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is cold.[(triple3)] The mouse is kind.[(triple4)] The mouse is round.[(triple5 OR ((triple4 triple3) -> rule1))]