The mouse is cold. The mouse is green. The mouse is kind. All green, kind people are cold.
The mouse eats the mouse.
@0: The mouse is cold.[(triple1 OR ((triple2 triple3) -> rule1))] The mouse is green.[(triple2)] The mouse is kind.[(triple3)]