Anne is white. Gary is smart. If Gary is smart then Gary is round. If someone is cold and blue then they are kind. Round people are smart.
Gary is kind.
@0: Anne is white.[(triple1)] Gary is smart.[(triple2)] @1: Gary is round.[(((triple2) -> rule1))]