The mouse is young. Young things are round. All red, young things are round. Round things are big. Big things are blue. If something is round and young then it is big. All round, blue things are young. Round things are big. If the mouse is big and the mouse is round then the mouse is blue.
The mouse is young.
@0: The mouse is young.[(triple1)] @1: The mouse is round.[(((triple1) -> rule1))] @2: The mouse is big.[(((((triple1) -> rule1)) -> rule3) OR ((((triple1) -> rule1)) -> rule7) OR ((((triple1) -> rule1) triple1) -> rule5))] @3: The mouse is blue.[(((((((triple1) -> rule1)) -> rule3)) -> rule4) OR ((((((triple1) -> rule1)) -> rule7)) -> rule4) OR ((((((triple1) -> rule1) triple1) -> rule5)) -> rule4) OR ((((((triple1) -> rule1)) -> rule3) ((triple1) -> rule1)) -> rule8) OR ((((((triple1) -> rule1)) -> rule7) ((triple1) -> rule1)) -> rule8) OR ((((((triple1) -> rule1) triple1) -> rule5) ((triple1) -> rule1)) -> rule8))]