The mouse is big. The mouse is blue. The mouse is red. The mouse is rough. The mouse is young. Rough things are blue.
The mouse does not need the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2 OR ((triple4) -> rule1))] The mouse is red.[(triple3)] The mouse is rough.[(triple4)] The mouse is young.[(triple5)]