The mouse is big. The mouse is green. The mouse is red. The mouse is rough. The mouse is round. Big, green people are red.
The mouse does not eat the mouse.
@0: The mouse is big.[(triple1)] The mouse is green.[(triple2)] The mouse is red.[(triple3 OR ((triple1 triple2) -> rule1))] The mouse is rough.[(triple4)] The mouse is round.[(triple5)]