The squirrel is red. If someone is red then they are cold. If someone is kind and not cold then they are not blue. If the squirrel is kind and the squirrel is red then the squirrel is blue. If the squirrel is kind and the squirrel is red then the squirrel is blue. Blue people are kind. If someone is cold then they are kind. All rough people are kind. Cold people are kind.
The squirrel does not like the squirrel.
@0: The squirrel is red.[(triple1)] @1: The squirrel is cold.[(((triple1) -> rule1))] @2: The squirrel is kind.[(((((triple1) -> rule1)) -> rule6) OR ((((triple1) -> rule1)) -> rule8))] @3: The squirrel is blue.[(((((((triple1) -> rule1)) -> rule6) triple1) -> rule3) OR ((((((triple1) -> rule1)) -> rule6) triple1) -> rule4) OR ((((((triple1) -> rule1)) -> rule8) triple1) -> rule3) OR ((((((triple1) -> rule1)) -> rule8) triple1) -> rule4))]