Harry is blue. Harry is green. Harry is kind. If Harry is round and Harry is big then Harry is kind. If Harry is round and Harry is young then Harry is green. If Harry is kind then Harry is big.
Harry is cold.
@0: Harry is blue.[(triple1)] Harry is green.[(triple2)] Harry is kind.[(triple3)] @1: Harry is big.[(((triple3) -> rule3))]