The mouse is nice. The mouse is red. The mouse is round. Nice people are young. If someone is big and not round then they are red.
The mouse does not see the mouse.
@0: The mouse is nice.[(triple1)] The mouse is red.[(triple2)] The mouse is round.[(triple3)] @1: The mouse is young.[(((triple1) -> rule1))]