The mouse is cold. If the mouse is blue then the mouse is big. If the mouse is big then the mouse is round. All round things are cold. All blue, round things are big. All blue, cold things are round. If the mouse is cold then the mouse is blue. If something is big then it is cold. Round things are big.
The mouse is cold.
@0: The mouse is cold.[(triple1)] @1: The mouse is blue.[(((triple1) -> rule6))] @2: The mouse is big.[(((((triple1) -> rule6)) -> rule1) OR ((((((triple1) -> rule6) triple1) -> rule5)) -> rule8) OR ((((triple1) -> rule6) ((((triple1) -> rule6) triple1) -> rule5)) -> rule4))] The mouse is round.[(((((triple1) -> rule6) triple1) -> rule5) OR ((((((triple1) -> rule6)) -> rule1)) -> rule2))]