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.
Anne is white.
@0: Anne is white.[(triple1)] Gary is smart.[(triple2)] @1: Gary is round.[(((triple2) -> rule1))]