Anne is furry. Bob is young. Harry is cold. If something is cold and quiet then it is young. Furry things are quiet. If something is green and young then it is furry. All young, quiet things are white. All white, green things are quiet. If Anne is furry and Anne is kind then Anne is cold.
Harry is not cold.
@0: Anne is furry.[(triple1)] Bob is young.[(triple2)] Harry is cold.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule2))]