The mouse is cold. The mouse is kind. The mouse is nice. The mouse is round. The mouse is young. All nice, young people are kind. Nice people are kind.
The mouse does not chase the mouse.
@0: The mouse is cold.[(triple1)] The mouse is kind.[(triple2 OR ((triple3) -> rule2) OR ((triple3 triple5) -> rule1))] The mouse is nice.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5)]