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 is not red.
@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))]