The mouse is rough. If someone is rough then they are young. If someone is round and young then they are blue. All young people are round. If someone is young and blue then they are green. Green people are blue. If someone is young then they are green.
The mouse is not rough.
@0: The mouse is rough.[(triple1)] @1: The mouse is young.[(((triple1) -> rule1))] @2: The mouse is green.[(((((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule1) ((((((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule2)) -> rule4))] The mouse is round.[(((((triple1) -> rule1)) -> rule3))] @3: The mouse is blue.[(((((((triple1) -> rule1)) -> rule6)) -> rule5) OR ((((((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule2))]