The mouse is big. If something is round then it is blue. If something is big then it is blue. Nice things are round. Blue things are nice. If something is blue and not round then it is red. Round, blue things are not red.
The mouse is blue.
@0: The mouse is big.[(triple1)] @1: The mouse is blue.[(((triple1) -> rule2))] @2: The mouse is nice.[(((((triple1) -> rule2)) -> rule4))] @3: The mouse is round.[(((((((triple1) -> rule2)) -> rule4)) -> rule3))] @4: The mouse is not red.[(((((((((triple1) -> rule2)) -> rule4)) -> rule3) ((triple1) -> rule2)) -> rule6))]