The mouse is blue. The mouse is kind. The mouse is red. The mouse is round. The mouse is young. If the mouse is blue then the mouse is red. If someone is blue and kind then they are round.
The mouse does not chase the mouse.
@0: The mouse is blue.[(triple1)] The mouse is kind.[(triple2)] The mouse is red.[(triple3 OR ((triple1) -> rule1))] The mouse is round.[(triple4 OR ((triple1 triple2) -> rule2))] The mouse is young.[(triple5)]