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 is not young.
@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)]