The mouse is not blue. The mouse is not kind. The mouse is red. The mouse is round. The mouse is young. Red things are not blue.
The mouse is young.
@0: The mouse is not blue.[(triple1 OR ((triple3) -> rule1))] The mouse is not kind.[(triple2)] The mouse is red.[(triple3)] The mouse is round.[(triple4)] The mouse is young.[(triple5)]