The mouse is green. The mouse is round. The mouse is young. If the mouse is nice and the mouse is not young then the mouse is round. If something is young and blue then it is round. Green things are blue.
The mouse is not young.
@0: The mouse is green.[(triple1)] The mouse is round.[(triple2 OR ((triple3 ((triple1) -> rule3)) -> rule2))] The mouse is young.[(triple3)] @1: The mouse is blue.[(((triple1) -> rule3))]