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