The squirrel is kind. Kind things are big. If something is big then it is cold. If the squirrel is cold and the squirrel is big then the squirrel is red. All big things are blue. All kind, cold things are red. If the squirrel is kind and the squirrel is blue then the squirrel is cold. All red things are kind. All cold, blue things are big.
The squirrel is kind.
@0: The squirrel is kind.[(triple1)] @1: The squirrel is big.[(((triple1) -> rule1))] @2: The squirrel is blue.[(((((triple1) -> rule1)) -> rule4))] The squirrel is cold.[(((((triple1) -> rule1)) -> rule2) OR ((triple1 ((((triple1) -> rule1)) -> rule4)) -> rule6))] @3: The squirrel is red.[(((triple1 ((((triple1) -> rule1)) -> rule2)) -> rule5) OR ((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule3) OR ((triple1 ((triple1 ((((triple1) -> rule1)) -> rule4)) -> rule6)) -> rule5) OR ((((triple1 ((((triple1) -> rule1)) -> rule4)) -> rule6) ((triple1) -> rule1)) -> rule3))]