The mouse is nice. The mouse is red. The mouse is rough. The mouse is round. The mouse is young. Nice people are young.
The mouse does not chase the mouse.
@0: The mouse is nice.[(triple1)] The mouse is red.[(triple2)] The mouse is rough.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple1) -> rule1))]