The dog is red. If something is kind then it is round. If something is red then it is kind. Kind, round things are cold.
The dog does not chase the dog.
@0: The dog is red.[(triple1)] @1: The dog is kind.[(((triple1) -> rule2))] @2: The dog is round.[(((((triple1) -> rule2)) -> rule1))] @3: The dog is cold.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule1)) -> rule3))]