Anne is blue. Anne is round. Gary is green. All blue people are cold. If someone is blue then they are round.
Gary is not cold.
@0: Anne is blue.[(triple1)] Anne is round.[(triple2 OR ((triple1) -> rule2))] Gary is green.[(triple3)] @1: Anne is cold.[(((triple1) -> rule1))]