The mouse is green. The mouse is kind. The mouse is nice. The mouse is round. The mouse is young. All nice things are green.
The mouse is kind.
@0: The mouse is green.[(triple1 OR ((triple3) -> rule1))] The mouse is kind.[(triple2)] The mouse is nice.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5)]