Anne is blue. Bob is big. Harry is quiet. If something is big then it is cold. If Harry is quiet and Harry is rough then Harry is big.
Anne is not cold.
@0: Anne is blue.[(triple1)] Bob is big.[(triple2)] Harry is quiet.[(triple3)] @1: Bob is cold.[(((triple2) -> rule1))]