The squirrel is rough. If something is cold and blue then it is kind. All blue things are kind. Rough things are cold. Rough things are cold. If the squirrel is cold and the squirrel is rough then the squirrel is blue. If the squirrel is rough and the squirrel is not blue then the squirrel is young.
The squirrel likes the squirrel.
@0: The squirrel is rough.[(triple1)] @1: The squirrel is cold.[(((triple1) -> rule3) OR ((triple1) -> rule4))] @2: The squirrel is blue.[(((((triple1) -> rule3) triple1) -> rule5) OR ((((triple1) -> rule4) triple1) -> rule5))] @3: The squirrel is kind.[(((((((triple1) -> rule3) triple1) -> rule5)) -> rule2) OR ((((((triple1) -> rule4) triple1) -> rule5)) -> rule2) OR ((((triple1) -> rule3) ((((triple1) -> rule3) triple1) -> rule5)) -> rule1) OR ((((triple1) -> rule3) ((((triple1) -> rule4) triple1) -> rule5)) -> rule1) OR ((((triple1) -> rule4) ((((triple1) -> rule3) triple1) -> rule5)) -> rule1) OR ((((triple1) -> rule4) ((((triple1) -> rule4) triple1) -> rule5)) -> rule1))]