Anne is rough. Charlie is rough. Harry is cold. All cold things are white. If Charlie is white then Charlie is green. If something is white and rough then it is cold. If something is cold and smart then it is green. If Harry is white and Harry is kind then Harry is rough. If something is green then it is cold.
Harry is smart.
@0: Anne is rough.[(triple1)] Charlie is rough.[(triple2)] Harry is cold.[(triple3)] @1: Harry is white.[(((triple3) -> rule1))]