Charlie is kind. Gary is blue. Harry is blue. If Harry is big and Harry is kind then Harry is not quiet. All cold people are kind. If someone is cold and not blue then they are kind. If Charlie is blue and Charlie is kind then Charlie is green. All cold, kind people are green. If someone is kind then they are cold. If Gary is not kind then Gary is not quiet. All quiet people are smart.
Harry is quiet.
@0: Charlie is kind.[(triple1)] Gary is blue.[(triple2)] Harry is blue.[(triple3)] @1: Charlie is cold.[(((triple1) -> rule6))] @2: Charlie is green.[(((((triple1) -> rule6) triple1) -> rule5))]