The mouse is cold. The mouse is green. The mouse is kind. The mouse is rough. The mouse is young. Young, kind people are rough. If the mouse is rough and the mouse is kind then the mouse is young.
The mouse sees the mouse.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2)] The mouse is kind.[(triple3)] The mouse is rough.[(triple4 OR ((triple5 triple3) -> rule1))] The mouse is young.[(triple5 OR ((triple4 triple3) -> rule2))]