Anne is not young. Gary is quiet. Harry is big. If someone is big then they are cold. If Harry is big then Harry is quiet.
Gary is not quiet.
@0: Anne is not young.[(triple1)] Gary is quiet.[(triple2)] Harry is big.[(triple3)] @1: Harry is cold.[(((triple3) -> rule1))] Harry is quiet.[(((triple3) -> rule2))]