The mouse is cold. The mouse is green. The mouse is nice. Round, cold people are kind. All kind people are nice. If the mouse is green and the mouse is kind then the mouse is nice. Nice, cold people are round. All kind people are round. All nice people are kind.
The mouse does not see the mouse.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is nice.[(triple3)] @1: The mouse is kind.[(((triple3) -> rule6) OR ((((triple3 triple1) -> rule4) triple1) -> rule1))] The mouse is round.[(((triple3 triple1) -> rule4) OR ((((triple3) -> rule6)) -> rule5))]