The dog is kind. Kind things are blue. All blue, kind things are cold. Red things are kind. Green things are kind. If the dog is cold then the dog is red. Green things are not red.
The dog is not red.
@0: The dog is kind.[(triple1)] @1: The dog is blue.[(((triple1) -> rule1))] @2: The dog is cold.[(((((triple1) -> rule1) triple1) -> rule2))] @3: The dog is red.[(((((((triple1) -> rule1) triple1) -> rule2)) -> rule5))]