The mouse is blue. The mouse is kind. The mouse is nice. The mouse is rough. The mouse is round. If something is nice and blue then it is rough.
The mouse does not like the mouse.
@0: The mouse is blue.[(triple1)] The mouse is kind.[(triple2)] The mouse is nice.[(triple3)] The mouse is rough.[(triple4 OR ((triple3 triple1) -> rule1))] The mouse is round.[(triple5)]