The mouse is round. All blue, big people are green. If the mouse is green then the mouse is round. All round people are young. All big, young people are blue. If someone is green then they are blue. If the mouse is young and the mouse is blue then the mouse is round. If the mouse is green then the mouse is round. Round people are young.
The mouse eats the mouse.
@0: The mouse is round.[(triple1)] @1: The mouse is young.[(((triple1) -> rule3) OR ((triple1) -> rule8))]