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