The mouse is big. If someone is blue then they are not nice. Round people are not nice. If someone is blue and round then they are not nice. If someone is young and not big then they are nice. Young, round people are nice. All nice people are round. All blue people are round. Big people are young.
The mouse chases the mouse.
@0: The mouse is big.[(triple1)] @1: The mouse is young.[(((triple1) -> rule8))]