Anne is cold. Bob is nice. Gary is green. Furry things are not quiet. Cold things are quiet.
Bob is kind.
@0: Anne is cold.[(triple1)] Bob is nice.[(triple2)] Gary is green.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule2))]