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 visits 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)]