The mouse is blue. All red things are cold. If the mouse is young and the mouse is rough then the mouse is blue. All rough things are blue. All young, blue things are cold. Red, blue things are cold. All blue things are young. Cold things are red. If something is young and red then it is rough.
The mouse is blue.
@0: The mouse is blue.[(triple1)] @1: The mouse is young.[(((triple1) -> rule6))] @2: The mouse is cold.[(((((triple1) -> rule6) triple1) -> rule4))] @3: The mouse is red.[(((((((triple1) -> rule6) triple1) -> rule4)) -> rule7))] @4: The mouse is rough.[(((((triple1) -> rule6) ((((((triple1) -> rule6) triple1) -> rule4)) -> rule7)) -> rule8))]