The mouse is big. The mouse is cold. The mouse is kind. The mouse is rough. The mouse is young. If something is kind then it is cold. If something is big then it is rough.
The mouse does not chase the mouse.
@0: The mouse is big.[(triple1)] The mouse is cold.[(triple2 OR ((triple3) -> rule1))] The mouse is kind.[(triple3)] The mouse is rough.[(triple4 OR ((triple1) -> rule2))] The mouse is young.[(triple5)]