The squirrel is cold. If the squirrel is nice then the squirrel is not cold. Young things are kind. Young things are not nice. If something is kind then it is not green. If something is kind then it is not green. Cold things are young.
The squirrel is cold.
@0: The squirrel is cold.[(triple1)] @1: The squirrel is young.[(((triple1) -> rule6))] @2: The squirrel is kind.[(((((triple1) -> rule6)) -> rule2))] The squirrel is not nice.[(((((triple1) -> rule6)) -> rule3))] @3: The squirrel is not green.[(((((((triple1) -> rule6)) -> rule2)) -> rule4) OR ((((((triple1) -> rule6)) -> rule2)) -> rule5))]