Charlie is kind. Harry is blue. If something is red and kind then it is cold. All blue things are red. If Harry is kind then Harry is young.
Charlie is kind.
@0: Charlie is kind.[(triple1)] Harry is blue.[(triple2)] @1: Harry is red.[(((triple2) -> rule2))]