The mouse is blue. The mouse is cold. The mouse is kind. The mouse is rough. The mouse is round. All blue people are rough.
The mouse does not visit the mouse.
@0: The mouse is blue.[(triple1)] The mouse is cold.[(triple2)] The mouse is kind.[(triple3)] The mouse is rough.[(triple4 OR ((triple1) -> rule1))] The mouse is round.[(triple5)]