The mouse is big. The mouse is blue. The mouse is nice. The mouse is red. The mouse is rough. All red people are nice.
The mouse does not see the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is nice.[(triple3 OR ((triple4) -> rule1))] The mouse is red.[(triple4)] The mouse is rough.[(triple5)]