Charlie is not cold. Harry is green. Kind things are green. If something is big then it is not green. If something is cold and red then it is green. All green things are kind. Kind, quiet things are nice. All green things are cold. Nice things are quiet. If Harry is cold then Harry is red.
Harry is green.
@0: Charlie is not cold.[(triple1)] Harry is green.[(triple2)] @1: Harry is cold.[(((triple2) -> rule6))] Harry is kind.[(((triple2) -> rule4))] @2: Harry is red.[(((((triple2) -> rule6)) -> rule8))]