The squirrel is red. If the squirrel is red then the squirrel is cold. All kind, green people are cold. Young, green people are kind. If someone is red then they are green. All red, green people are cold. All cold, green people are young. If the squirrel is kind and the squirrel is red then the squirrel is cold. All kind, red people are young.
The squirrel needs the squirrel.
@0: The squirrel is red.[(triple1)] @1: The squirrel is cold.[(((triple1) -> rule1) OR ((triple1 ((triple1) -> rule4)) -> rule5))] The squirrel is green.[(((triple1) -> rule4))] @2: The squirrel is young.[(((((triple1) -> rule1) ((triple1) -> rule4)) -> rule6) OR ((((triple1 ((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule6))] @3: The squirrel is kind.[(((((((triple1) -> rule1) ((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule3) OR ((((((triple1 ((triple1) -> rule4)) -> rule5) ((triple1) -> rule4)) -> rule6) ((triple1) -> rule4)) -> rule3))]